|
ROSE 0.11.145.354
|
Definition at line 258 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 |
|
inline |
Definition at line 263 of file affineInequality.h.
|
inline |
Definition at line 266 of file affineInequality.h.
|
virtual |
Implements printable.
| std::set<varAffineInequality> affineInequalityFact::ineqs |
Definition at line 261 of file affineInequality.h.