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 |