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

LiteralList Class Reference

#include <Literal.hpp>

Inheritance diagram for LiteralList:

Lst< Literal > List of all members.

Public Member Functions

 LiteralList ()
 LiteralList (const LiteralList &)
 LiteralList (const Literal &t)
 LiteralList (const Literal &head, const LiteralList &tail)
 LiteralList (LstData< Literal > *)
 LiteralList (const VampireKernel::Literal *lit, const VampireKernel &kernel)
const LiteralListtail () const
bool isRenamingOf (LiteralList lst) const

Private Member Functions

bool isRenamingOf (LiteralList tried, LiteralList remaining, Substitution sbst) const

Constructor & Destructor Documentation

LiteralList::LiteralList  )  [inline]
 

LiteralList::LiteralList const LiteralList  )  [inline]
 

LiteralList::LiteralList const Literal t  )  [inline, explicit]
 

LiteralList::LiteralList const Literal head,
const LiteralList tail
[inline]
 

LiteralList::LiteralList LstData< Literal > *   )  [inline, explicit]
 

LiteralList::LiteralList const VampireKernel::Literal lit,
const VampireKernel kernel
 


Member Function Documentation

bool LiteralList::isRenamingOf LiteralList  tried,
LiteralList  remaining,
Substitution  sbst
const [private]
 

bool LiteralList::isRenamingOf LiteralList  lst  )  const
 

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

Reimplemented from Lst< Literal >.


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