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