a | Const | [private] |
accept(ExpVisitor *v) | Const | [virtual] |
accept(ExpModifier *v) | Const | [virtual] |
Accumulate(std::list< Exp * > exprs) | Exp | [static] |
addUsedLocs(LocationSet &used, bool memOnly=false) | Exp | |
appendDotFile(std::ofstream &of) | Const | [virtual] |
ascendType() | Const | [virtual] |
bypass() | Exp | |
bypassComp() | Exp | |
clone() | Const | [virtual] |
conscript | Const | [private] |
Const(int i) | Const | |
Const(QWord ll) | Const | |
Const(ADDRESS a) | Const | |
Const(double d) | Const | |
Const(char *p) | Const | |
Const(Proc *p) | Const | |
Const(Const &o) | Const | |
containsBadMemof(UserProc *p) | Exp | |
containsFlags() | Exp | |
containsMemof(UserProc *proc) | Exp | |
createDotFile(char *name) | Exp | |
d | Const | [private] |
descendType(Type *parentType, bool &ch, Statement *s) | Const | [virtual] |
doSearch(Exp *search, Exp *&pSrc, std::list< Exp ** > &li, bool once) | Exp | [static] |
doSearchChildren(Exp *search, std::list< Exp ** > &li, bool once) | Exp | [virtual] |
dump() | Exp | |
Exp(OPER op) | Exp | [inline, protected] |
expSubscriptAllNull() | Exp | |
expSubscriptValNull(Exp *e) | Exp | |
expSubscriptVar(Exp *e, Statement *def) | Exp | |
findProc() | Exp | |
fixLocationProc(UserProc *p) | Exp | |
fixSuccessor() | Exp | |
fromSSAleft(UserProc *proc, Statement *d) | Exp | |
genConstraints(Exp *restrictTo) | Const | [virtual] |
getAddr() | Const | [inline] |
getAnyStrConst() | Exp | |
getArity() | Exp | [inline, virtual] |
getComplexityDepth(UserProc *proc) | Exp | |
getConscript() | Const | [inline] |
getFlt() | Const | [inline] |
getFuncName() | Const | |
getGuard() | Exp | |
getInt() | Const | [inline] |
getLexBegin() | Exp | [inline] |
getLexEnd() | Exp | [inline] |
getLong() | Const | [inline] |
getMemDepth() | Exp | |
getNumRefs() | Exp | [inline, virtual] |
getOper() const | Exp | [inline] |
getStr() | Const | [inline] |
getSubExp1() | Exp | [inline, virtual] |
getSubExp2() | Exp | [inline, virtual] |
getSubExp3() | Exp | [inline, virtual] |
getType() | Const | [inline] |
getVarIndex() | Exp | |
i | Const | [private] |
isAddrOf() | Exp | [inline] |
isAfpTerm() | Exp | |
isAnull() | Exp | [inline] |
isArrayIndex() | Exp | [inline] |
isBoolConst() | Exp | [inline] |
isComparison() | Exp | [inline] |
isConjunction() | Exp | [inline] |
isConst() | Exp | [inline] |
isDisjunction() | Exp | [inline] |
isEquality() | Exp | [inline] |
isFalse() | Exp | [inline] |
isFlagCall() | Exp | [inline] |
isFlags() | Exp | [inline] |
isFltConst() | Exp | [inline] |
isGlobal() | Exp | [inline] |
isIntConst() | Exp | [inline] |
isLocal() | Exp | [inline] |
isLocation() | Exp | [inline] |
isMachFtr() | Exp | [inline] |
isMainFlag() | Exp | [inline] |
isMemberOf() | Exp | [inline] |
isMemOf() | Exp | [inline] |
isNil() | Exp | [inline] |
isParam() | Exp | [inline] |
isPC() | Exp | [inline] |
isPostVar() | Exp | [inline] |
isRegN(int n) | Exp | |
isRegOf() | Exp | [inline] |
isRegOfK() | Exp | |
isSizeCast() | Exp | [inline] |
isStrConst() | Exp | [inline] |
isSubscript() | Exp | [inline] |
isTemp() | Exp | |
isTerminal() | Exp | [inline, virtual] |
isTrue() | Exp | [inline] |
isTypedExp() | Exp | [inline] |
isTypeOf() | Exp | [inline] |
isTypeVal() | Exp | [inline] |
killFill() | Exp | |
lexBegin | Exp | [protected] |
lexEnd | Exp | [protected] |
ll | Const | [private] |
match(const char *pattern, std::map< std::string, Exp * > &bindings) | Const | [virtual] |
Exp::match(Exp *pattern) | Exp | [virtual] |
op | Exp | [protected] |
operator *=(Exp &o) | Const | [virtual] |
operator<(const Exp &o) const | Const | [virtual] |
operator<<(const Exp &o) const | Exp | [inline, virtual] |
operator==(const Exp &o) const | Const | [virtual] |
p | Const | [private] |
partitionTerms(std::list< Exp * > &positives, std::list< Exp * > &negatives, std::vector< int > &integers, bool negate) | Exp | |
polySimplify(bool &bMod) | Exp | [inline, virtual] |
pp | Const | [private] |
print(std::ostream &os, bool html=false) | Const | [virtual] |
printAsHL(std::ostream &os=std::cout) | Exp | |
printNoQuotes(std::ostream &os) | Const | |
printr(std::ostream &os, bool html=false) | Exp | [inline, virtual] |
prints() | Exp | |
printt(std::ostream &os=std::cout) | Exp | |
printx(int ind) | Const | [virtual] |
propagateAll() | Exp | |
propagateAllRpt(bool &changed) | Exp | |
refSubExp1() | Exp | [virtual] |
refSubExp2() | Exp | [virtual] |
refSubExp3() | Exp | [virtual] |
removeSubscripts(bool &allZero) | Exp | |
search(Exp *search, Exp *&result) | Exp | [virtual] |
searchAll(Exp *search, std::list< Exp * > &result) | Exp | |
searchReplace(Exp *search, Exp *replace, bool &change) | Exp | |
searchReplaceAll(Exp *search, Exp *replace, bool &change, bool once=false) | Exp | |
setAddr(ADDRESS a) | Const | [inline] |
setConscript(int cs) | Const | [inline] |
setConscripts(int n, bool bClear) | Exp | |
setFlt(double d) | Const | [inline] |
setInt(int i) | Const | [inline] |
setLexBegin(unsigned int n) | Exp | [inline] |
setLexEnd(unsigned int n) | Exp | [inline] |
setLong(QWord ll) | Const | [inline] |
setOper(OPER x) | Exp | [inline] |
setStr(char *p) | Const | [inline] |
setSubExp1(Exp *e) | Exp | [inline, virtual] |
setSubExp2(Exp *e) | Exp | [inline, virtual] |
setSubExp3(Exp *e) | Exp | [inline, virtual] |
setType(Type *ty) | Const | [inline] |
simplify() | Exp | |
simplifyAddr() | Exp | [inline, virtual] |
simplifyArith() | Exp | [inline, virtual] |
simplifyConstraint() | Exp | [inline, virtual] |
stripSizes() | Exp | |
type | Const | [private] |
u | Const | [private] |
XMLProgParser class | Const | [friend] |
~Exp() | Exp | [inline, virtual] |