| accept(ExpVisitor *v) | TypeVal | [virtual] |
| accept(ExpModifier *v) | TypeVal | [virtual] |
| Accumulate(std::list< Exp * > exprs) | Exp | [static] |
| addUsedLocs(LocationSet &used, bool memOnly=false) | Exp | |
| appendDotFile(std::ofstream &of) | Terminal | [virtual] |
| ascendType() | Terminal | [virtual] |
| bypass() | Exp | |
| bypassComp() | Exp | |
| clone() | TypeVal | [virtual] |
| containsBadMemof(UserProc *p) | Exp | |
| containsFlags() | Exp | |
| containsMemof(UserProc *proc) | Exp | |
| createDotFile(char *name) | Exp | |
| descendType(Type *parentType, bool &ch, Statement *s) | Terminal | [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) | TypeVal | [inline, virtual] |
| getAnyStrConst() | Exp | |
| getArity() | Exp | [inline, virtual] |
| getComplexityDepth(UserProc *proc) | Exp | |
| getGuard() | Exp | |
| getLexBegin() | Exp | [inline] |
| getLexEnd() | Exp | [inline] |
| getMemDepth() | Exp | |
| getNumRefs() | Exp | [inline, virtual] |
| getOper() const | Exp | [inline] |
| getSubExp1() | Exp | [inline, virtual] |
| getSubExp2() | Exp | [inline, virtual] |
| getSubExp3() | Exp | [inline, virtual] |
| getType() | TypeVal | [inline, virtual] |
| getVarIndex() | Exp | |
| 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() | Terminal | [inline, virtual] |
| isTrue() | Exp | [inline] |
| isTypedExp() | Exp | [inline] |
| isTypeOf() | Exp | [inline] |
| isTypeVal() | Exp | [inline] |
| killFill() | Exp | |
| lexBegin | Exp | [protected] |
| lexEnd | Exp | [protected] |
| match(const char *pattern, std::map< std::string, Exp * > &bindings) | Terminal | [virtual] |
| Exp::match(Exp *pattern) | Exp | [virtual] |
| op | Exp | [protected] |
| operator *=(Exp &o) | TypeVal | [virtual] |
| operator<(const Exp &o) const | TypeVal | [virtual] |
| operator<<(const Exp &o) const | Exp | [inline, virtual] |
| operator==(const Exp &o) const | TypeVal | [virtual] |
| partitionTerms(std::list< Exp * > &positives, std::list< Exp * > &negatives, std::vector< int > &integers, bool negate) | Exp | |
| polySimplify(bool &bMod) | Exp | [inline, virtual] |
| print(std::ostream &os, bool html=false) | TypeVal | [virtual] |
| printAsHL(std::ostream &os=std::cout) | Exp | |
| printr(std::ostream &os, bool html=false) | Exp | [inline, virtual] |
| prints() | Exp | |
| printt(std::ostream &os=std::cout) | Exp | |
| printx(int ind) | TypeVal | [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 | |
| setConscripts(int n, bool bClear) | Exp | |
| setLexBegin(unsigned int n) | Exp | [inline] |
| setLexEnd(unsigned int n) | Exp | [inline] |
| setOper(OPER x) | Exp | [inline] |
| setSubExp1(Exp *e) | Exp | [inline, virtual] |
| setSubExp2(Exp *e) | Exp | [inline, virtual] |
| setSubExp3(Exp *e) | Exp | [inline, virtual] |
| setType(Type *t) | TypeVal | [inline, virtual] |
| simplify() | Exp | |
| simplifyAddr() | Exp | [inline, virtual] |
| simplifyArith() | Exp | [inline, virtual] |
| simplifyConstraint() | Exp | [inline, virtual] |
| stripSizes() | Exp | |
| Terminal(OPER op) | Terminal | |
| Terminal(Terminal &o) | Terminal | |
| TypeVal(Type *ty) | TypeVal | |
| val | TypeVal | [private] |
| XMLProgParser class | TypeVal | [friend] |
| ~Exp() | Exp | [inline, virtual] |
| ~TypeVal() | TypeVal | |
