|
ROSE
0.11.96.11
|
Definition at line 283 of file affineInequality.h.


Public Member Functions | |
| affineInequalityFact (const affineInequalityFact &that) | |
| NodeFact * | copy () const |
| std::string | str (std::string indent="") |
| std::string | str (std::string indent="") const |
Public Attributes | |
| std::set< varAffineInequality > | ineqs |
1.8.17