| andExpr(const std::vector< Expr > &children) | CVCL::ExprManager | [inline] |
| boolExpr() | CVCL::ExprManager | [inline] |
| checkType(const Expr &e) | CVCL::ExprManager | [private] |
| clear() | CVCL::ExprManager | |
| clearFlags() | CVCL::ExprManager | [inline] |
| computeType(const Expr &e) | CVCL::ExprManager | [private] |
| d_bool | CVCL::ExprManager | [private] |
| d_cm | CVCL::ExprManager | [private] |
| d_dagPrinting | CVCL::ExprManager | [private] |
| d_disableGC | CVCL::ExprManager | [private] |
| d_emptyVec | CVCL::ExprManager | [private] |
| d_exprSet | CVCL::ExprManager | [private] |
| d_false | CVCL::ExprManager | [private] |
| d_flagCounter | CVCL::ExprManager | [private] |
| d_indent | CVCL::ExprManager | [private] |
| d_indentTransient | CVCL::ExprManager | [private] |
| d_index | CVCL::ExprManager | [private] |
| d_inputLang | CVCL::ExprManager | [private] |
| d_kindMap | CVCL::ExprManager | [private] |
| d_kindMapByName | CVCL::ExprManager | [private] |
| d_lineWidth | CVCL::ExprManager | [private] |
| d_mm | CVCL::ExprManager | [private] |
| d_mmFlag | CVCL::ExprManager | [private] |
| d_notifyObj | CVCL::ExprManager | [private] |
| d_nullExpr | CVCL::ExprManager | [private] |
| d_outputLang | CVCL::ExprManager | [private] |
| d_pointerHash | CVCL::ExprManager | [private] |
| d_postponed | CVCL::ExprManager | [private] |
| d_postponeGC | CVCL::ExprManager | [private] |
| d_prettyPrinter | CVCL::ExprManager | [private] |
| d_printDepth | CVCL::ExprManager | [private] |
| d_rebuildCache | CVCL::ExprManager | [private] |
| d_simpCacheTagCurrent | CVCL::ExprManager | [private] |
| d_true | CVCL::ExprManager | [private] |
| d_typeComputer | CVCL::ExprManager | [private] |
| d_typeKinds | CVCL::ExprManager | [private] |
| d_withIndentation | CVCL::ExprManager | [private] |
| dagPrinting() const | CVCL::ExprManager | [inline] |
| Expr class | CVCL::ExprManager | [friend] |
| ExprManager(ContextManager *cm, const CLFlags &flags) | CVCL::ExprManager | |
| ExprValue class | CVCL::ExprManager | [friend] |
| ExprValueSet typedef | CVCL::ExprManager | [private] |
| falseExpr() | CVCL::ExprManager | [inline] |
| gc(ExprValue *ev) | CVCL::ExprManager | |
| getCM() const | CVCL::ExprManager | [inline] |
| getCurrentContext() const | CVCL::ExprManager | [inline] |
| getEmptyVector() | CVCL::ExprManager | [inline] |
| getFlag() | CVCL::ExprManager | [inline, private] |
| getInputLang() const | CVCL::ExprManager | |
| getKind(const std::string &name) | CVCL::ExprManager | |
| getKindName(int kind) | CVCL::ExprManager | |
| getMM(size_t MMIndex) | CVCL::ExprManager | [inline] |
| getNullExpr() | CVCL::ExprManager | [inline] |
| getOutputLang() const | CVCL::ExprManager | |
| getPrinter() const | CVCL::ExprManager | [inline] |
| getSimpCacheTag() const | CVCL::ExprManager | [inline] |
| hash(const ExprValue *ev) const | CVCL::ExprManager | [inline, private] |
| hash(const Expr &e) const | CVCL::ExprManager | [inline] |
| HashEV class | CVCL::ExprManager | [friend] |
| IF_DEBUG(bool d_inRebuild) | CVCL::ExprManager | [private] |
| incIndent(int n, bool permanent=false) | CVCL::ExprManager | |
| indent() const | CVCL::ExprManager | [inline] |
| indent(int n, bool permanent=false) | CVCL::ExprManager | |
| installExprValue(ExprValue *ev) | CVCL::ExprManager | [private] |
| invalidateSimpCache() | CVCL::ExprManager | [inline] |
| isActive() | CVCL::ExprManager | |
| isKindRegistered(int kind) | CVCL::ExprManager | [inline] |
| isTypeKind(int kind) | CVCL::ExprManager | [inline] |
| lastIndex() | CVCL::ExprManager | [inline] |
| lineWidth() const | CVCL::ExprManager | [inline] |
| newBoundVarExpr(const std::string &name, const std::string &uid) | CVCL::ExprManager | [inline] |
| newBoundVarExpr(const std::string &name, const std::string &uid, const Type &type) | CVCL::ExprManager | [inline] |
| newBoundVarExpr(const Type &type) | CVCL::ExprManager | [inline] |
| newClosureExpr(int kind, const std::vector< Expr > &vars, const Expr &body) | CVCL::ExprManager | [inline] |
| newExpr(ExprValue *ev) | CVCL::ExprManager | [inline] |
| newExprValue(ExprValue *ev) | CVCL::ExprManager | [private] |
| newKind(int kind, const std::string &name, bool isType=false) | CVCL::ExprManager | |
| newLeafExpr(const Op &op) | CVCL::ExprManager | [inline] |
| newRatExpr(const Rational &r) | CVCL::ExprManager | [inline] |
| newSkolemExpr(const Expr &e, int i) | CVCL::ExprManager | [inline] |
| newStringExpr(const std::string &s) | CVCL::ExprManager | [inline] |
| newSymbolExpr(const std::string &s, int kind) | CVCL::ExprManager | [inline] |
| newVarExpr(const std::string &s) | CVCL::ExprManager | [inline] |
| nextFlag() | CVCL::ExprManager | [inline, private] |
| nextIndex() | CVCL::ExprManager | [inline] |
| Op class | CVCL::ExprManager | [friend] |
| orExpr(const std::vector< Expr > &children) | CVCL::ExprManager | [inline] |
| postponeGC() | CVCL::ExprManager | [inline] |
| printDepth() const | CVCL::ExprManager | [inline] |
| rebuild(const Expr &e) | CVCL::ExprManager | |
| rebuildRec(const Expr &e) | CVCL::ExprManager | [private] |
| registerPrettyPrinter(PrettyPrinter &printer) | CVCL::ExprManager | |
| registerSubclass(size_t sizeOfSubclass) | CVCL::ExprManager | |
| registerTypeComputer(TypeComputer *typeComputer) | CVCL::ExprManager | [inline] |
| restoreIndent() | CVCL::ExprManager | [inline] |
| resumeGC() | CVCL::ExprManager | |
| scopelevel() | CVCL::ExprManager | [inline] |
| trueExpr() | CVCL::ExprManager | [inline] |
| Type class | CVCL::ExprManager | [friend] |
| unregisterPrettyPrinter() | CVCL::ExprManager | |
| withIndentation() const | CVCL::ExprManager | [inline] |
| ~ExprManager() | CVCL::ExprManager | |
