CVC3
|
This is the complete list of members for CVC3::BVConstExpr, including all inherited members.
arity() const | CVC3::ExprValue | inlinevirtual |
BVConstExpr(ExprManager *em, std::string bvconst, size_t mmIndex, ExprIndex idx=0) | CVC3::BVConstExpr | |
BVConstExpr(ExprManager *em, std::vector< bool > bvconst, size_t mmIndex, ExprIndex idx=0) | CVC3::BVConstExpr | |
computeHash() const | CVC3::BVConstExpr | virtual |
computeSize() const | CVC3::ExprValue | inlineprotectedvirtual |
copy(ExprManager *em, ExprIndex idx=0) const | CVC3::BVConstExpr | inlinevirtual |
d_bvconst | CVC3::BVConstExpr | private |
d_em | CVC3::ExprValue | protected |
d_kind | CVC3::ExprValue | protected |
d_MMIndex | CVC3::BVConstExpr | private |
ExprValue(ExprManager *em, int kind, ExprIndex idx=0) | CVC3::ExprValue | inline |
getBody() const | CVC3::ExprValue | inlinevirtual |
getBoundIndex() const | CVC3::ExprValue | inlinevirtual |
getExistential() const | CVC3::ExprValue | inlinevirtual |
getExprValue() const | CVC3::BVConstExpr | inlinevirtual |
getField() const | CVC3::ExprValue | inlinevirtual |
getFields() const | CVC3::ExprValue | inlinevirtual |
getKids() const | CVC3::ExprValue | inlinevirtual |
getKind() const | CVC3::ExprValue | inline |
getMM(size_t MMIndex) | CVC3::ExprValue | inlineprotected |
getMMIndex() const | CVC3::BVConstExpr | inlinevirtual |
getName() const | CVC3::ExprValue | inlinevirtual |
getOp() const | CVC3::ExprValue | inlinevirtual |
getRational() const | CVC3::ExprValue | inlinevirtual |
getRep() const | CVC3::ExprValue | inlinevirtual |
getSig() const | CVC3::ExprValue | inlinevirtual |
getString() const | CVC3::ExprValue | inlinevirtual |
getTheorem() const | CVC3::ExprValue | inlinevirtual |
getTriggers() const | CVC3::ExprValue | inlinevirtual |
getTupleIndex() const | CVC3::ExprValue | inlinevirtual |
getUid() const | CVC3::ExprValue | inlinevirtual |
getValue(int i) const | CVC3::BVConstExpr | inline |
getVar() const | CVC3::ExprValue | inlinevirtual |
getVars() const | CVC3::ExprValue | inlinevirtual |
hash(const int kind, const std::vector< Expr > &kids) | CVC3::ExprValue | protectedstatic |
hash(const int n) | CVC3::ExprValue | inlineprotectedstatic |
isApply() const | CVC3::ExprValue | inlinevirtual |
isClosure() const | CVC3::ExprValue | inlinevirtual |
isRational() const | CVC3::ExprValue | inlinevirtual |
isString() const | CVC3::ExprValue | inlinevirtual |
isSymbol() const | CVC3::ExprValue | inlinevirtual |
isTheorem() const | CVC3::ExprValue | inlinevirtual |
isVar() const | CVC3::ExprValue | inlinevirtual |
operator delete(void *pMem, MemoryManager *mm) | CVC3::BVConstExpr | inline |
operator delete(void *) | CVC3::BVConstExpr | inline |
operator new(size_t size, MemoryManager *mm) | CVC3::BVConstExpr | inline |
operator==(const ExprValue &ev2) const | CVC3::BVConstExpr | inlinevirtual |
pointerHash(void *p) | CVC3::ExprValue | inlineprotectedstatic |
rebuild(ExprManager *em) const | CVC3::ExprValue | inlineprotected |
rebuild(Expr e, ExprManager *em) const | CVC3::ExprValue | inlineprotected |
s_charHash | CVC3::ExprValue | protectedstatic |
s_intHash | CVC3::ExprValue | protectedstatic |
setRep(CDO< Theorem > *rep) | CVC3::ExprValue | inlinevirtual |
setSig(CDO< Theorem > *sig) | CVC3::ExprValue | inlinevirtual |
setTriggers(const std::vector< std::vector< Expr > > &triggers) | CVC3::ExprValue | inlinevirtual |
size() const | CVC3::BVConstExpr | inline |
sizeWithChildren(const std::vector< Expr > &kids) | CVC3::ExprValue | protectedstatic |
~ExprValue() | CVC3::ExprValue | virtual |