|
ROSE
0.9.6a
|
This is the complete list of members for affineInequality, including all inherited members.
| a | affineInequality | protected |
| affineInequality() | affineInequality | |
| affineInequality(const affineInequality &that) | affineInequality | |
| affineInequality(int a, int b, int c, bool xZero, bool yZero, signs xSign, signs ySign) | affineInequality | |
| affineInequality(const affineInequality &xz, const affineInequality &zy) | affineInequality | |
| b | affineInequality | protected |
| bottom | affineInequality | static |
| c | affineInequality | protected |
| constrKnown | affineInequality | static |
| eqZero enum value | affineInequality | |
| getA() const | affineInequality | |
| getB() const | affineInequality | |
| getC() const | affineInequality | |
| getLevel() const | affineInequality | |
| getXSign() const | affineInequality | |
| getYSign() const | affineInequality | |
| intersectUpd(const affineInequality &that) | affineInequality | |
| isXZero() const | affineInequality | |
| isYZero() const | affineInequality | |
| level | affineInequality | protected |
| mayConsistent(const affineInequality &constrXY, const affineInequality &constrYX) | affineInequality | static |
| negZero enum value | affineInequality | |
| normalize() | affineInequality | protected |
| operator!=(const affineInequality &that) const | affineInequality | |
| operator*=(const affineInequality &that) | affineInequality | |
| operator+=(const affineInequality &that) | affineInequality | |
| operator<(const affineInequality &that) const | affineInequality | |
| operator=(const affineInequality &that) | affineInequality | |
| operator==(const affineInequality &that) const | affineInequality | |
| posZero enum value | affineInequality | |
| semLessThan(const affineInequality &that, bool xEqZero, bool yEqZero) const | affineInequality | |
| semLessThan(const affineInequality &that, const affineInequality *xZero, const affineInequality *zeroX, const affineInequality *yZero, const affineInequality *zeroY, std::string indent="") const | affineInequality | |
| semLessThanEq(const affineInequality &that, bool xIsZeroVar, const affineInequality *xZero, const affineInequality *zeroX, bool yIsZeroVar, const affineInequality *yZero, const affineInequality *zeroY, std::string indent="") const | affineInequality | |
| semLessThanNeg(const affineInequality &that, bool xEqZero, bool yEqZero) const | affineInequality | |
| set(const affineInequality &that) | affineInequality | |
| set(int a, int b, int c) | affineInequality | |
| set(int a, int b, int c, bool xZero, bool yZero, signs xSign, signs ySign) | affineInequality | |
| setA(int a) | affineInequality | |
| setB(int b) | affineInequality | |
| setC(int c) | affineInequality | |
| setToBottom() | affineInequality | |
| setToTop() | affineInequality | |
| signs enum name | affineInequality | |
| signToString(signs sign) | affineInequality | static |
| str(std::string indent="") | affineInequality | virtual |
| str(std::string indent="") const | affineInequality | |
| str(varID x, varID y, std::string indent="") const | affineInequality | |
| strNeg(varID x, varID y, std::string indent) const | affineInequality | |
| top | affineInequality | static |
| unionUpd(const affineInequality &that) | affineInequality | |
| unknownSgn enum value | affineInequality | |
| varAffineInequality class | affineInequality | friend |
| xSign | affineInequality | protected |
| xZero | affineInequality | protected |
| ySign | affineInequality | protected |
| yZero | affineInequality | protected |
| ~printable() | printable | inlinevirtual |