Main Page
|
Namespace List
|
Class Hierarchy
|
Compound List
|
File List
|
Compound Members
|
File Members
|
Related Pages
InferenceList Member List
This is the complete list of members for
InferenceList
, including all inherited members.
_data
Lst< Inference >
[protected]
append
(const Lst &)
Lst< Inference >
copy
(Lst &to) const
Lst< Inference >
head
() const
Lst< Inference >
InferenceList
()
InferenceList
[inline]
InferenceList
(const InferenceList &)
InferenceList
[inline]
InferenceList
(const Inference &inf)
InferenceList
[inline, explicit]
InferenceList
(const Inference &inf, const InferenceList &tail)
InferenceList
[inline]
InferenceList
(LstData< Inference > *)
InferenceList
[inline, explicit]
isEmpty
() const
Lst< Inference >
isNonEmpty
() const
Lst< Inference >
length
() const
Lst< Inference >
Lst
()
Lst< Inference >
Lst
(const Lst &)
Lst< Inference >
Lst
(const Inference &head, const Lst &tail)
Lst< Inference >
Lst
(const Inference &t)
Lst< Inference >
[explicit]
Lst
(LstData< Inference > *)
Lst< Inference >
[explicit]
makeEmpty
()
Lst< Inference >
member
(const Inferenceelem) const
Lst< Inference >
operator=
(const Lst &rhs)
Lst< Inference >
operator==
(const Lst &rhs) const
Lst< Inference >
pop
()
Lst< Inference >
push
(Inferenceelem)
Lst< Inference >
reverse
(Lst &result) const
Lst< Inference >
reverse
(Lst &result, const Lst &appendTo) const
Lst< Inference >
second
() const
Lst< Inference >
tail
() const
InferenceList
[inline]
~Lst
()
Lst< Inference >
Generated on Sat Jun 28 15:08:59 2003 for Vampire by
1.3.2