eliminate_regression Struct Reference

List of all members.

Public Attributes
string	constraint
string	elimination_result

---

The documentation for this struct was generated from the following file:

• ui/src/solver-ui.cpp