Definition at line 208 of file affineInequality.h.
 
 | 
| 
  | varAffineInequality (const varAffineInequality &that) | 
|   | 
| 
  | varAffineInequality (const varID &x, const varID &y, const affineInequality &ineq) | 
|   | 
| 
  | varAffineInequality (const varID &x, const varID &y, int a, int b, int c, bool xZero, bool yZero) | 
|   | 
| 
const varID &  | getX () const | 
|   | 
| 
const varID &  | getY () const | 
|   | 
| 
int  | getA () const | 
|   | 
| 
int  | getB () const | 
|   | 
| 
int  | getC () const | 
|   | 
| 
const affineInequality &  | getIneq () const | 
|   | 
| 
const bool  | setX (const varID &x) | 
|   | 
| 
const bool  | setY (const varID &y) | 
|   | 
| 
const bool  | setA (int a) | 
|   | 
| 
const bool  | setB (int b) | 
|   | 
| 
const bool  | setC (int c) | 
|   | 
| 
const bool  | setIneq (affineInequality &ineq) | 
|   | 
| 
bool  | operator== (const varAffineInequality &that) const | 
|   | 
| 
bool  | operator< (const varAffineInequality &that) const | 
|   | 
| 
std::string  | str (std::string indent="") | 
|   | 
| 
std::string  | str (std::string indent="") const | 
|   | 
The documentation for this class was generated from the following file: