Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

TermList Class Reference

#include <Term.hpp>

Inheritance diagram for TermList:

Lst< Term > List of all members.

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 TermListtail () 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

Constructor & Destructor Documentation

TermList::TermList  )  [inline]
 

TermList::TermList const TermList  )  [inline]
 

TermList::TermList const Term t  )  [inline, explicit]
 

TermList::TermList const Term head,
const TermList tail
[inline]
 

TermList::TermList LstData< Term > *   )  [inline, explicit]
 

TermList::TermList const VampireKernel::Subterm term  )  [explicit]
 

TermList::TermList const VampireKernel::Subterm term,
const VampireKernel kernel
 


Member Function Documentation

void TermList::apply const Substitution subst  ) 
 

void TermList::buildFrom VarList  vs  ) 
 

Compare TermList::compare TermList  l  )  const
 

bool TermList::equal TermList  t  )  const
 

bool TermList::equalUpTo TermList  rs,
Var  x,
Var  y
const
 

bool TermList::hasVarsNotIn VarListList   )  const
 

bool TermList::isRenamingOf TermList  t,
Substitution sbst
const
 

void TermList::occurring bool *  occurrences,
Var  max
const
 

bool TermList::occurs Var  v  )  const
 

bool TermList::occurs const Signature::Fun  )  const
 

void TermList::rectify Substitution ,
Var last,
VarList freeVars
 

const TermList& TermList::tail  )  const [inline]
 

Reimplemented from Lst< Term >.

bool TermList::varsOnly  )  const
 


The documentation for this class was generated from the following files:
Generated on Sat Jun 28 15:08:59 2003 for Vampire by doxygen 1.3.2