ROSE 0.11.145.147
affineInequality Member List

This is the complete list of members for affineInequality, including all inherited members.

a (defined in affineInequality)affineInequalityprotected
affineInequality() (defined in affineInequality)affineInequality
affineInequality(const affineInequality &that) (defined in affineInequality)affineInequality
affineInequality(int a, int b, int c, bool xZero, bool yZero, signs xSign, signs ySign) (defined in affineInequality)affineInequality
affineInequality(const affineInequality &xz, const affineInequality &zy) (defined in affineInequality)affineInequality
b (defined in affineInequality)affineInequalityprotected
bottom (defined in affineInequality)affineInequalitystatic
c (defined in affineInequality)affineInequalityprotected
constrKnown (defined in affineInequality)affineInequalitystatic
eqZero enum value (defined in affineInequality)affineInequality
getA() const (defined in affineInequality)affineInequality
getB() const (defined in affineInequality)affineInequality
getC() const (defined in affineInequality)affineInequality
getLevel() const (defined in affineInequality)affineInequality
getXSign() const (defined in affineInequality)affineInequality
getYSign() const (defined in affineInequality)affineInequality
intersectUpd(const affineInequality &that) (defined in affineInequality)affineInequality
isXZero() const (defined in affineInequality)affineInequality
isYZero() const (defined in affineInequality)affineInequality
level (defined in affineInequality)affineInequalityprotected
mayConsistent(const affineInequality &constrXY, const affineInequality &constrYX) (defined in affineInequality)affineInequalitystatic
negZero enum value (defined in affineInequality)affineInequality
normalize() (defined in affineInequality)affineInequalityprotected
operator!=(const affineInequality &that) const (defined in affineInequality)affineInequality
operator*=(const affineInequality &that) (defined in affineInequality)affineInequality
operator+=(const affineInequality &that) (defined in affineInequality)affineInequality
operator<(const affineInequality &that) const (defined in affineInequality)affineInequality
operator=(const affineInequality &that) (defined in affineInequality)affineInequality
operator==(const affineInequality &that) const (defined in affineInequality)affineInequality
posZero enum value (defined in affineInequality)affineInequality
semLessThan(const affineInequality &that, bool xEqZero, bool yEqZero) const (defined in affineInequality)affineInequality
semLessThan(const affineInequality &that, const affineInequality *xZero, const affineInequality *zeroX, const affineInequality *yZero, const affineInequality *zeroY, std::string indent="") const (defined in affineInequality)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 (defined in affineInequality)affineInequality
semLessThanNeg(const affineInequality &that, bool xEqZero, bool yEqZero) const (defined in affineInequality)affineInequality
set(const affineInequality &that) (defined in affineInequality)affineInequality
set(int a, int b, int c) (defined in affineInequality)affineInequality
set(int a, int b, int c, bool xZero, bool yZero, signs xSign, signs ySign) (defined in affineInequality)affineInequality
setA(int a) (defined in affineInequality)affineInequality
setB(int b) (defined in affineInequality)affineInequality
setC(int c) (defined in affineInequality)affineInequality
setToBottom() (defined in affineInequality)affineInequality
setToTop() (defined in affineInequality)affineInequality
signs enum name (defined in affineInequality)affineInequality
signToString(signs sign) (defined in affineInequality)affineInequalitystatic
str(std::string indent="") (defined in affineInequality)affineInequalityvirtual
str(std::string indent="") const (defined in affineInequality)affineInequality
str(varID x, varID y, std::string indent="") const (defined in affineInequality)affineInequality
strNeg(varID x, varID y, std::string indent) const (defined in affineInequality)affineInequality
top (defined in affineInequality)affineInequalitystatic
unionUpd(const affineInequality &that) (defined in affineInequality)affineInequality
unknownSgn enum value (defined in affineInequality)affineInequality
xSign (defined in affineInequality)affineInequalityprotected
xZero (defined in affineInequality)affineInequalityprotected
ySign (defined in affineInequality)affineInequalityprotected
yZero (defined in affineInequality)affineInequalityprotected
~printable() (defined in printable)printableinlinevirtual