ROSE 0.11.145.192
IntArithLogical Member List

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

andOp enum value (defined in IntArithLogical)IntArithLogical
andUpd(LogicalCond &that) (defined in IntArithLogical)IntArithLogicalvirtual
assign(int a, varID x, int b, varID y, int c) (defined in IntArithLogical)IntArithLogical
bottom enum value (defined in IntArithLogical)IntArithLogical
cmpOps enum name (defined in IntArithLogical)IntArithLogical
copy() const (defined in IntArithLogical)IntArithLogicalvirtual
copy(Lattice *that) (defined in IntArithLogical)IntArithLogicalvirtual
copy() (defined in IntArithLogical)IntArithLogicalvirtual
eq enum value (defined in IntArithLogical)IntArithLogical
expr (defined in IntArithLogical)IntArithLogical
finiteLattice()FiniteLatticeinlinevirtual
incorporateVars(Lattice *) (defined in Lattice)Latticeinlinevirtual
infContent enum name (defined in IntArithLogical)IntArithLogical
initialize() (defined in IntArithLogical)IntArithLogicalvirtual
initialize(bool value) (defined in IntArithLogical)IntArithLogical
IntArithLogical() (defined in IntArithLogical)IntArithLogical
IntArithLogical(bool value) (defined in IntArithLogical)IntArithLogical
IntArithLogical(cmpOps cmp, int a, varID x, int b, varID y, int c) (defined in IntArithLogical)IntArithLogical
IntArithLogical(const IntArithLogical &that) (defined in IntArithLogical)IntArithLogical
isImplied(cmpOps cmp, int a, varID x, int b, varID y, int c) (defined in IntArithLogical)IntArithLogical
known enum value (defined in IntArithLogical)IntArithLogical
le enum value (defined in IntArithLogical)IntArithLogical
level (defined in IntArithLogical)IntArithLogical
logOps enum name (defined in IntArithLogical)IntArithLogical
mayConsistent(cmpOps cmp, int a, varID x, int b, varID y, int c) (defined in IntArithLogical)IntArithLogical
mayTrue() (defined in IntArithLogical)IntArithLogicalvirtual
meetUpdate(Lattice *that) (defined in IntArithLogical)IntArithLogicalvirtual
mustFalse() (defined in LogicalCond)LogicalCondinline
notOp enum value (defined in IntArithLogical)IntArithLogical
notUpd() (defined in IntArithLogical)IntArithLogical
operator!=(Lattice *that) (defined in Lattice)Latticeinline
operator!=(Lattice &that) (defined in Lattice)Latticeinline
operator==(Lattice *that) (defined in IntArithLogical)IntArithLogicalvirtual
operator==(Lattice &that) (defined in Lattice)Latticeinline
orOp enum value (defined in IntArithLogical)IntArithLogical
orUpd(LogicalCond &that) (defined in IntArithLogical)IntArithLogicalvirtual
outputSpearExpr(exprLeaf *otherExpr, std::ofstream &os, bool createProposition) (defined in IntArithLogical)IntArithLogicalprotected
project(SgExpression *) (defined in Lattice)Latticeinlinevirtual
remapVars(const std::map< varID, varID > &, const Function &) (defined in Lattice)Latticeinlinevirtual
removeVar(varID var) (defined in IntArithLogical)IntArithLogical
runSpear(std::string inputFile) (defined in IntArithLogical)IntArithLogicalprotectedstatic
setToFalse() (defined in IntArithLogical)IntArithLogical
setToTrue() (defined in IntArithLogical)IntArithLogical
str(std::string indent="") (defined in IntArithLogical)IntArithLogicalvirtual
uninitialized enum value (defined in IntArithLogical)IntArithLogical
unProject(SgExpression *, Lattice *exprState) (defined in Lattice)Latticeinlinevirtual
~LogicalCond() (defined in LogicalCond)LogicalCondinlinevirtual
~printable() (defined in printable)printableinlinevirtual