CVCL::Expr Member List

This is the complete list of members for CVCL::Expr, including all inherited members.

::CInterface class	CVCL::Expr	[friend]
addToNotify(Theory *i, const Expr &e) const	CVCL::Expr
andExpr(const Expr &right) const	CVCL::Expr	[inline]
arity() const	CVCL::Expr	[inline]
begin() const	CVCL::Expr
clearFlags() const	CVCL::Expr	[inline]
clearRewriteNormal() const	CVCL::Expr	[inline]
compare(const Expr &e1, const Expr &e2)	CVCL::Expr	[friend]
COMPUTE_TRANS_CLOSURE enum value	CVCL::Expr	[private]
computeTransClosure() const	CVCL::Expr	[inline]
d_expr	CVCL::Expr	[private]
DynamicFlagsEnum enum name	CVCL::Expr	[private]
end() const	CVCL::Expr
eqExpr(const Expr &right) const	CVCL::Expr	[inline]
Expr(ExprValue *expr)	CVCL::Expr	[inline, private]
Expr()	CVCL::Expr	[inline]
Expr(const Expr &e)	CVCL::Expr	[inline]
Expr(const Op &op, const Expr &child)	CVCL::Expr	[inline]
Expr(const Op &op, const Expr &child0, const Expr &child1)	CVCL::Expr	[inline]
Expr(const Op &op, const Expr &child0, const Expr &child1, const Expr &child2)	CVCL::Expr	[inline]
Expr(const Op &op, const Expr &child0, const Expr &child1, const Expr &child2, const Expr &child3)	CVCL::Expr	[inline]
Expr(const Op &op, const std::vector< Expr > &children, ExprManager *em=NULL)	CVCL::Expr	[inline]
ExprHasher class	CVCL::Expr	[friend]
ExprManager class	CVCL::Expr	[friend]
ExprNode class	CVCL::Expr	[friend]
ExprValue class	CVCL::Expr	[friend]
getBody() const	CVCL::Expr	[inline]
getBoundIndex() const	CVCL::Expr	[inline]
getEM() const	CVCL::Expr	[inline]
getExistential() const	CVCL::Expr	[inline]
getExprValue() const	CVCL::Expr	[inline]
getFind() const	CVCL::Expr	[inline]
getFlag() const	CVCL::Expr	[inline]
getHeight() const	CVCL::Expr	[inline]
getHighestKid() const	CVCL::Expr	[inline]
getIndex() const	CVCL::Expr	[inline]
getIsAtomicFlag() const	CVCL::Expr	[inline]
getKids() const	CVCL::Expr	[inline]
getKind() const	CVCL::Expr	[inline]
getMMIndex() const	CVCL::Expr	[inline]
getName() const	CVCL::Expr	[inline]
getNotify() const	CVCL::Expr	[inline]
getOp() const	CVCL::Expr	[inline]
getOpExpr() const	CVCL::Expr	[inline]
getOpKind() const	CVCL::Expr	[inline]
getRational() const	CVCL::Expr	[inline]
getRep() const	CVCL::Expr	[inline]
getSig() const	CVCL::Expr	[inline]
getSimpCache() const	CVCL::Expr	[inline]
getSimpFrom() const	CVCL::Expr	[inline]
getString() const	CVCL::Expr	[inline]
getType() const	CVCL::Expr	[inline]
getUid() const	CVCL::Expr	[inline]
getVars() const	CVCL::Expr	[inline]
hasFind() const	CVCL::Expr	[inline]
hash(const Expr &e)	CVCL::Expr	[inline, static]
hash() const	CVCL::Expr	[inline]
hasLastIndex() const	CVCL::Expr	[inline]
hasRep() const	CVCL::Expr	[inline]
hasSig() const	CVCL::Expr	[inline]
hasSimpFrom() const	CVCL::Expr	[inline]
iffExpr(const Expr &right) const	CVCL::Expr	[inline]
impExpr(const Expr &right) const	CVCL::Expr	[inline]
IMPLIED_LITERAL enum value	CVCL::Expr	[private]
indent(int n, bool permanent=false)	CVCL::Expr
IS_ATOMIC enum value	CVCL::Expr	[private]
IS_FINITE enum value	CVCL::Expr	[private]
IS_INT_ASSUMPTION enum value	CVCL::Expr	[private]
IS_JUSTIFIED enum value	CVCL::Expr	[private]
IS_SELECTED enum value	CVCL::Expr	[private]
IS_TRANSLATED enum value	CVCL::Expr	[private]
IS_USER_ASSUMPTION enum value	CVCL::Expr	[private]
IS_USER_REGISTERED_ATOM enum value	CVCL::Expr	[private]
isAbsAtomicFormula() const	CVCL::Expr	[inline]
isAbsLiteral() const	CVCL::Expr	[inline]
isAnd() const	CVCL::Expr	[inline]
isApply() const	CVCL::Expr	[inline]
isAtomic() const	CVCL::Expr
isAtomicFormula() const	CVCL::Expr
isBoolConnective() const	CVCL::Expr	[inline]
isBoolConst() const	CVCL::Expr	[inline]
isBoundVar() const	CVCL::Expr	[inline]
isClosure() const	CVCL::Expr	[inline]
isEq() const	CVCL::Expr	[inline]
isExists() const	CVCL::Expr	[inline]
isFalse() const	CVCL::Expr	[inline]
isFinite() const	CVCL::Expr	[inline]
isForall() const	CVCL::Expr	[inline]
isIff() const	CVCL::Expr	[inline]
isImpl() const	CVCL::Expr	[inline]
isImpliedLiteral() const	CVCL::Expr	[inline]
isInitialized() const	CVCL::Expr	[inline]
isIntAssumption() const	CVCL::Expr	[inline]
isITE() const	CVCL::Expr	[inline]
isJustified() const	CVCL::Expr	[inline]
isLambda() const	CVCL::Expr	[inline]
isLiteral() const	CVCL::Expr	[inline]
isNot() const	CVCL::Expr	[inline]
isNull() const	CVCL::Expr	[inline]
isOr() const	CVCL::Expr	[inline]
isPropAtom() const	CVCL::Expr	[inline]
isPropLiteral() const	CVCL::Expr	[inline]
isQuantifier() const	CVCL::Expr	[inline]
isRational() const	CVCL::Expr	[inline]
isRewriteNormal() const	CVCL::Expr	[inline]
isSelected() const	CVCL::Expr	[inline]
isSkolem() const	CVCL::Expr	[inline]
isString() const	CVCL::Expr	[inline]
isSymbol() const	CVCL::Expr	[inline]
isTerm() const	CVCL::Expr	[inline]
isTranslated() const	CVCL::Expr	[inline]
isTrue() const	CVCL::Expr	[inline]
isType() const	CVCL::Expr	[inline]
isUserAssumption() const	CVCL::Expr	[inline]
isUserRegisteredAtom() const	CVCL::Expr	[inline]
isValidType() const	CVCL::Expr	[inline]
isVar() const	CVCL::Expr	[inline]
isWellFounded() const	CVCL::Expr	[inline]
isXor() const	CVCL::Expr	[inline]
iteExpr(const Expr &thenpart, const Expr &elsepart) const	CVCL::Expr	[inline]
lookupSubtypePred() const	CVCL::Expr	[inline]
lookupTCC() const	CVCL::Expr	[inline]
lookupType() const	CVCL::Expr	[inline]
mkOp() const	CVCL::Expr	[inline]
negate() const	CVCL::Expr	[inline]
notExpr() const	CVCL::Expr	[inline]
Op class	CVCL::Expr	[friend]
operator &&(const Expr &right) const	CVCL::Expr	[inline]
operator!() const	CVCL::Expr	[inline]
operator!=(const Expr &e1, const Expr &e2)	CVCL::Expr	[friend]
operator<(const Expr &e1, const Expr &e2)	CVCL::Expr	[friend]
operator<<(std::ostream &os, const Expr &e)	CVCL::Expr	[friend]
operator<=(const Expr &e1, const Expr &e2)	CVCL::Expr	[friend]
operator=(const Expr &e)	CVCL::Expr	[inline]
operator==(const Expr &e1, const Expr &e2)	CVCL::Expr	[friend]
operator>(const Expr &e1, const Expr &e2)	CVCL::Expr	[friend]
operator>=(const Expr &e1, const Expr &e2)	CVCL::Expr	[friend]
operator[](int i) const	CVCL::Expr	[inline]
operator||(const Expr &right) const	CVCL::Expr	[inline]
orExpr(const Expr &right) const	CVCL::Expr	[inline]
pprint() const	CVCL::Expr
pprintnodag() const	CVCL::Expr
print(InputLanguage lang, bool dagify=true) const	CVCL::Expr
print() const	CVCL::Expr	[inline]
print(ExprStream &os) const	CVCL::Expr
printAST(ExprStream &os) const	CVCL::Expr
printnodag() const	CVCL::Expr
rebuild(ExprManager *em) const	CVCL::Expr	[inline]
recursiveSubst(const ExprHashMap< Expr > &subst, ExprHashMap< Expr > &visited) const	CVCL::Expr	[private]
REWRITE_NORMAL enum value	CVCL::Expr	[private]
s_null	CVCL::Expr	[private, static]
setComputeTransClosure() const	CVCL::Expr	[inline]
setFind(const Theorem &e) const	CVCL::Expr	[inline]
setFinite() const	CVCL::Expr	[inline]
setFlag() const	CVCL::Expr	[inline]
setImpliedLiteral() const	CVCL::Expr	[inline]
setIntAssumption() const	CVCL::Expr	[inline]
setIsAtomicFlag(bool value) const	CVCL::Expr	[inline]
setJustified() const	CVCL::Expr	[inline]
setRep(const Theorem &e) const	CVCL::Expr	[inline]
setRewriteNormal() const	CVCL::Expr	[inline]
setSelected() const	CVCL::Expr	[inline]
setSig(const Theorem &e) const	CVCL::Expr	[inline]
setSimpCache(const Theorem &e) const	CVCL::Expr	[inline]
setSimpFrom(const Expr &simpFrom)	CVCL::Expr	[inline]
setSubtypePred(const Theorem &pred) const	CVCL::Expr	[inline]
setTCC(const Expr &tcc) const	CVCL::Expr	[inline]
setTranslated(int scope=-1) const	CVCL::Expr	[inline]
setType(const Type &t) const	CVCL::Expr	[inline]
setUserAssumption(int scope=-1) const	CVCL::Expr	[inline]
setUserRegisteredAtom() const	CVCL::Expr	[inline]
setValidType() const	CVCL::Expr	[inline]
setWellFounded() const	CVCL::Expr	[inline]
skolemExpr(int i) const	CVCL::Expr	[inline]
StaticFlagsEnum enum name	CVCL::Expr	[private]
subExprOf(const Expr &e) const	CVCL::Expr
substExpr(const std::vector< Expr > &oldTerms, const std::vector< Expr > &newTerms) const	CVCL::Expr
substExpr(const ExprHashMap< Expr > &oldToNew) const	CVCL::Expr
toString() const	CVCL::Expr
toString(InputLanguage lang) const	CVCL::Expr
unnegate() const	CVCL::Expr	[inline]
VALID_IS_ATOMIC enum value	CVCL::Expr	[private]
VALID_TYPE enum value	CVCL::Expr	[private]
validIsAtomicFlag() const	CVCL::Expr	[inline]
validSimpCache() const	CVCL::Expr	[inline]
WELL_FOUNDED enum value	CVCL::Expr	[private]
~Expr()	CVCL::Expr	[inline]

---