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

AtomList Member List

This is the complete list of members for AtomList, including all inherited members.
_dataLst< Atom > [protected]
append(const Lst &)Lst< Atom >
AtomList()AtomList [inline]
AtomList(const AtomList &)AtomList [inline]
AtomList(const Atom &t)AtomList [inline, explicit]
AtomList(const Atom &head, const AtomList &tail)AtomList [inline]
AtomList(LstData< Atom > *)AtomList [inline, explicit]
copy(Lst &to) constLst< Atom >
head() constLst< Atom >
isEmpty() constLst< Atom >
isNonEmpty() constLst< Atom >
length() constLst< Atom >
Lst()Lst< Atom >
Lst(const Lst &)Lst< Atom >
Lst(const Atom &head, const Lst &tail)Lst< Atom >
Lst(const Atom &t)Lst< Atom > [explicit]
Lst(LstData< Atom > *)Lst< Atom > [explicit]
makeEmpty()Lst< Atom >
member(const Atomelem) constLst< Atom >
operator=(const Lst &rhs)Lst< Atom >
operator==(const Lst &rhs) constLst< Atom >
pop()Lst< Atom >
push(Atomelem)Lst< Atom >
reverse(Lst &result) constLst< Atom >
reverse(Lst &result, const Lst &appendTo) constLst< Atom >
second() constLst< Atom >
tail() constAtomList [inline]
~Lst()Lst< Atom >

Generated on Sat Jun 28 15:08:58 2003 for Vampire by doxygen 1.3.2