CVC3
CVC3::ExprManager Member List

This is the complete list of members for CVC3::ExprManager, including all inherited members.

andExpr(const std::vector< Expr > &children)CVC3::ExprManagerinline
boolExpr()CVC3::ExprManagerinline
checkType(const Expr &e)CVC3::ExprManagerprivate
clear()CVC3::ExprManager
clearFlags()CVC3::ExprManagerinline
computeType(const Expr &e)CVC3::ExprManagerprivate
d_boolCVC3::ExprManagerprivate
d_cmCVC3::ExprManagerprivate
d_dagPrintingCVC3::ExprManagerprivate
d_disableGCCVC3::ExprManagerprivate
d_emptyVecCVC3::ExprManagerprivate
d_exprSetCVC3::ExprManagerprivate
d_falseCVC3::ExprManagerprivate
d_flagCounterCVC3::ExprManagerprivate
d_indentCVC3::ExprManagerprivate
d_indentTransientCVC3::ExprManagerprivate
d_indexCVC3::ExprManagerprivate
d_inGCCVC3::ExprManagerprivate
d_inputLangCVC3::ExprManagerprivate
d_kindMapCVC3::ExprManagerprivate
d_kindMapByNameCVC3::ExprManagerprivate
d_lineWidthCVC3::ExprManagerprivate
d_mmCVC3::ExprManagerprivate
d_mmFlagCVC3::ExprManagerprivate
d_notifyObjCVC3::ExprManagerprivate
d_nullExprCVC3::ExprManagerprivate
d_outputLangCVC3::ExprManagerprivate
d_pendingCVC3::ExprManagerprivate
d_pointerHashCVC3::ExprManagerprivate
d_postponedCVC3::ExprManagerprivate
d_postponeGCCVC3::ExprManagerprivate
d_prettyPrinterCVC3::ExprManagerprivate
d_printDepthCVC3::ExprManagerprivate
d_rebuildCacheCVC3::ExprManagerprivate
d_simpCacheTagCurrentCVC3::ExprManagerprivate
d_tmCVC3::ExprManagerprivate
d_trueCVC3::ExprManagerprivate
d_typeComputerCVC3::ExprManagerprivate
d_typeKindsCVC3::ExprManagerprivate
d_withIndentationCVC3::ExprManagerprivate
dagPrinting() const CVC3::ExprManagerinline
Expr classCVC3::ExprManagerfriend
ExprManager(ContextManager *cm, const CLFlags &flags)CVC3::ExprManager
ExprValue classCVC3::ExprManagerfriend
ExprValueSet typedefCVC3::ExprManagerprivate
falseExpr()CVC3::ExprManagerinline
finiteTypeInfo(Expr &e, Unsigned &n, bool enumerate, bool computeSize)CVC3::ExprManagerprivate
gc(ExprValue *ev)CVC3::ExprManager
getCM() const CVC3::ExprManagerinline
getCurrentContext() const CVC3::ExprManagerinline
getEmptyVector()CVC3::ExprManagerinline
getFlag()CVC3::ExprManagerinlineprivate
getInputLang() const CVC3::ExprManager
getKind(const std::string &name)CVC3::ExprManager
getKindName(int kind)CVC3::ExprManager
getMemory(int verbosity)CVC3::ExprManager
getMM(size_t MMIndex)CVC3::ExprManagerinline
getNullExpr()CVC3::ExprManagerinline
getOutputLang() const CVC3::ExprManager
getPrinter() const CVC3::ExprManagerinline
getSimpCacheTag() const CVC3::ExprManagerinline
getTM() const CVC3::ExprManagerinline
hash(const ExprValue *ev) const CVC3::ExprManagerinlineprivate
hash(const Expr &e) const CVC3::ExprManagerinline
HashEV classCVC3::ExprManagerfriend
incIndent(int n, bool permanent=false)CVC3::ExprManager
indent() const CVC3::ExprManagerinline
indent(int n, bool permanent=false)CVC3::ExprManager
installExprValue(ExprValue *ev)CVC3::ExprManagerprivate
invalidateSimpCache()CVC3::ExprManagerinline
isActive()CVC3::ExprManager
isKindRegistered(int kind)CVC3::ExprManagerinline
isTypeKind(int kind)CVC3::ExprManagerinline
lastIndex()CVC3::ExprManagerinline
lineWidth() const CVC3::ExprManagerinline
newBoundVarExpr(const std::string &name, const std::string &uid)CVC3::ExprManagerinline
newBoundVarExpr(const std::string &name, const std::string &uid, const Type &type)CVC3::ExprManagerinline
newBoundVarExpr(const Type &type)CVC3::ExprManagerinline
newClosureExpr(int kind, const Expr &var, const Expr &body)CVC3::ExprManagerinline
newClosureExpr(int kind, const std::vector< Expr > &vars, const Expr &body)CVC3::ExprManagerinline
newClosureExpr(int kind, const std::vector< Expr > &vars, const Expr &body, const Expr &trigger)CVC3::ExprManagerinline
newClosureExpr(int kind, const std::vector< Expr > &vars, const Expr &body, const std::vector< Expr > &triggers)CVC3::ExprManagerinline
newClosureExpr(int kind, const std::vector< Expr > &vars, const Expr &body, const std::vector< std::vector< Expr > > &triggers)CVC3::ExprManagerinline
newExpr(ExprValue *ev)CVC3::ExprManagerinline
newExprValue(ExprValue *ev)CVC3::ExprManagerprivate
newKind(int kind, const std::string &name, bool isType=false)CVC3::ExprManager
newLeafExpr(const Op &op)CVC3::ExprManagerinline
newRatExpr(const Rational &r)CVC3::ExprManagerinline
newSkolemExpr(const Expr &e, int i)CVC3::ExprManagerinline
newStringExpr(const std::string &s)CVC3::ExprManagerinline
newSymbolExpr(const std::string &s, int kind)CVC3::ExprManagerinline
newVarExpr(const std::string &s)CVC3::ExprManagerinline
nextFlag()CVC3::ExprManagerinlineprivate
nextIndex()CVC3::ExprManagerinline
Op classCVC3::ExprManagerfriend
orExpr(const std::vector< Expr > &children)CVC3::ExprManagerinline
postponeGC()CVC3::ExprManagerinline
printDepth() const CVC3::ExprManagerinline
rebuild(const Expr &e)CVC3::ExprManager
rebuildRec(const Expr &e)CVC3::ExprManagerprivate
registerPrettyPrinter(PrettyPrinter &printer)CVC3::ExprManager
registerSubclass(size_t sizeOfSubclass)CVC3::ExprManager
registerTypeComputer(TypeComputer *typeComputer)CVC3::ExprManagerinline
restoreIndent()CVC3::ExprManagerinline
resumeGC()CVC3::ExprManager
scopelevel()CVC3::ExprManagerinline
setTM(TheoremManager *tm)CVC3::ExprManagerinline
trueExpr()CVC3::ExprManagerinline
Type classCVC3::ExprManagerfriend
unregisterPrettyPrinter()CVC3::ExprManager
withIndentation() const CVC3::ExprManagerinline
~ExprManager()CVC3::ExprManager