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 |