Term Member List

This is the complete list of members for Term, including all inherited members.

Check(Sort s) const	Term
Check(Variable::Type t) const	Term
expression() const	Term
formula() const	Term
mutable_expression()	Term
mutable_formula()	Term
operator=(const Term &)=default	Term
operator=(Term &&)=default	Term
operator=(Expression e)	Term
operator=(Formula f)	Term
Substitute(const Variable &v, const Term &t)	Term
Term()	Term
Term(Expression e)	Term	explicit
Term(Formula f)	Term	explicit
Term(const Term &)=default	Term
Term(Term &&)=default	Term
Type enum name (defined in Term)	Term
type() const	Term
~Term()=default	Term