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

VarListList Class Reference

#include <Var.hpp>

Inheritance diagram for VarListList:

Lst< VarList > List of all members.

Public Member Functions

const VarListListtail () const
 VarListList (VarList head, const VarListList &tail)
 VarListList (const VarListList &lst)
 VarListList (const VarList &t)
 VarListList ()

Constructor & Destructor Documentation

VarListList::VarListList VarList  head,
const VarListList tail
[inline]
 

VarListList::VarListList const VarListList lst  )  [inline]
 

VarListList::VarListList const VarList t  )  [explicit]
 

VarListList::VarListList  )  [inline]
 


Member Function Documentation

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

Reimplemented from Lst< VarList >.


The documentation for this class was generated from the following file:
Generated on Sat Jun 28 15:09:00 2003 for Vampire by doxygen 1.3.2