#include <Term.hpp>
Inheritance diagram for TermList:

Public Member Functions | |
| TermList () | |
| TermList (const TermList &) | |
| TermList (const Term &t) | |
| TermList (const Term &head, const TermList &tail) | |
| TermList (LstData< Term > *) | |
| TermList (const VampireKernel::Subterm *term) | |
| TermList (const VampireKernel::Subterm *term, const VampireKernel &kernel) | |
| const TermList & | tail () const |
| bool | occurs (const Signature::Fun *) const |
| bool | occurs (Var v) const |
| bool | equal (TermList t) const |
| Compare | compare (TermList l) const |
| bool | equalUpTo (TermList rs, Var x, Var y) const |
| bool | hasVarsNotIn (VarListList) const |
| bool | varsOnly () const |
| void | apply (const Substitution &subst) |
| void | rectify (Substitution &, Var &last, VarList &freeVars) |
| void | buildFrom (VarList vs) |
| bool | isRenamingOf (TermList t, Substitution &sbst) const |
| void | occurring (bool *occurrences, Var max) const |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
Reimplemented from Lst< Term >. |
|
|
|
1.3.2