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

AtomList Class Reference

#include <Atom.hpp>

Inheritance diagram for AtomList:

Lst< Atom > List of all members.

Public Member Functions

 AtomList ()
 AtomList (const AtomList &)
 AtomList (const Atom &t)
 AtomList (const Atom &head, const AtomList &tail)
 AtomList (LstData< Atom > *)
const AtomListtail () const

Constructor & Destructor Documentation

AtomList::AtomList  )  [inline]
 

AtomList::AtomList const AtomList  )  [inline]
 

AtomList::AtomList const Atom t  )  [inline, explicit]
 

AtomList::AtomList const Atom head,
const AtomList tail
[inline]
 

AtomList::AtomList LstData< Atom > *   )  [inline, explicit]
 


Member Function Documentation

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

Reimplemented from Lst< Atom >.


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