ROSE 0.11.145.147
|
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.