| ::CInterface class | CVC3::ExprValue | [friend] |
| arity() const | CVC3::ExprValue | [inline, virtual] |
| computeHash() const | CVC3::ExprValue | [inline, protected, virtual] |
| copy(ExprManager *em, ExprIndex idx) const | CVC3::ExprValue | [protected, virtual] |
| d_dynamicFlags | CVC3::ExprValue | [private] |
| d_em | CVC3::ExprValue | [protected] |
| d_find | CVC3::ExprValue | [private] |
| d_flag | CVC3::ExprValue | [private] |
| d_hash | CVC3::ExprValue | [private] |
| d_index | CVC3::ExprValue | [private] |
| d_kind | CVC3::ExprValue | [protected] |
| d_notifyList | CVC3::ExprValue | [private] |
| d_refcount | CVC3::ExprValue | [private] |
| d_simpCache | CVC3::ExprValue | [private] |
| d_simpCacheTag | CVC3::ExprValue | [private] |
| d_type | CVC3::ExprValue | [private] |
| decRefcount() | CVC3::ExprValue | [inline, private] |
| Expr class | CVC3::ExprValue | [friend] |
| Expr::iterator class | CVC3::ExprValue | [friend] |
| ExprApply class | CVC3::ExprValue | [friend] |
| ExprManager class | CVC3::ExprValue | [friend] |
| ExprValue(ExprManager *em, int kind, ExprIndex idx=0) | CVC3::ExprValue | [inline] |
| getBody() const | CVC3::ExprValue | [inline, virtual] |
| getBoundIndex() const | CVC3::ExprValue | [inline, virtual] |
| getExistential() const | CVC3::ExprValue | [inline, virtual] |
| getExprValue() const | CVC3::ExprValue | [inline, virtual] |
| getField() const | CVC3::ExprValue | [inline, virtual] |
| getFields() const | CVC3::ExprValue | [inline, virtual] |
| getKids() const | CVC3::ExprValue | [inline, virtual] |
| getKind() const | CVC3::ExprValue | [inline] |
| getMM(size_t MMIndex) | CVC3::ExprValue | [inline, protected] |
| getMMIndex() const | CVC3::ExprValue | [inline, virtual] |
| getName() const | CVC3::ExprValue | [inline, virtual] |
| getOp() const | CVC3::ExprValue | [inline, virtual] |
| getRational() const | CVC3::ExprValue | [inline, virtual] |
| getRep() const | CVC3::ExprValue | [inline, virtual] |
| getSig() const | CVC3::ExprValue | [inline, virtual] |
| getString() const | CVC3::ExprValue | [inline, virtual] |
| getTheorem() const | CVC3::ExprValue | [inline, virtual] |
| getTupleIndex() const | CVC3::ExprValue | [inline, virtual] |
| getUid() const | CVC3::ExprValue | [inline, virtual] |
| getVar() const | CVC3::ExprValue | [inline, virtual] |
| getVars() const | CVC3::ExprValue | [inline, virtual] |
| hash() const | CVC3::ExprValue | [inline, private] |
| hash(const int kind, const std::vector< Expr > &kids) | CVC3::ExprValue | [protected, static] |
| hash(const int n) | CVC3::ExprValue | [inline, protected, static] |
| incRefcount() | CVC3::ExprValue | [inline, private] |
| isApply() const | CVC3::ExprValue | [inline, virtual] |
| isClosure() const | CVC3::ExprValue | [inline, virtual] |
| isRational() const | CVC3::ExprValue | [inline, virtual] |
| isString() const | CVC3::ExprValue | [inline, virtual] |
| isSymbol() const | CVC3::ExprValue | [inline, virtual] |
| isTheorem() const | CVC3::ExprValue | [inline, virtual] |
| isVar() const | CVC3::ExprValue | [inline, virtual] |
| operator delete(void *pMem, MemoryManager *mm) | CVC3::ExprValue | [inline] |
| operator delete(void *) | CVC3::ExprValue | [inline] |
| operator new(size_t size, MemoryManager *mm) | CVC3::ExprValue | [inline] |
| operator==(const ExprValue &ev2) const | CVC3::ExprValue | [virtual] |
| pointerHash(void *p) | CVC3::ExprValue | [inline, protected, static] |
| rebuild(ExprManager *em) const | CVC3::ExprValue | [inline, protected] |
| rebuild(Expr e, ExprManager *em) const | CVC3::ExprValue | [inline, protected] |
| s_charHash | CVC3::ExprValue | [protected, static] |
| s_intHash | CVC3::ExprValue | [protected, static] |
| setIndex(ExprIndex idx) | CVC3::ExprValue | [inline, private] |
| setRep(CDO< Theorem > *rep) | CVC3::ExprValue | [inline, virtual] |
| setSig(CDO< Theorem > *sig) | CVC3::ExprValue | [inline, virtual] |
| Theorem class | CVC3::ExprValue | [friend] |
| ~ExprValue() | CVC3::ExprValue | [virtual] |
