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.
_dataLst< Inference > [protected]
append(const Lst &)Lst< Inference >
copy(Lst &to) constLst< Inference >
head() constLst< 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() constLst< Inference >
isNonEmpty() constLst< Inference >
length() constLst< 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) constLst< Inference >
operator=(const Lst &rhs)Lst< Inference >
operator==(const Lst &rhs) constLst< Inference >
pop()Lst< Inference >
push(Inferenceelem)Lst< Inference >
reverse(Lst &result) constLst< Inference >
reverse(Lst &result, const Lst &appendTo) constLst< Inference >
second() constLst< Inference >
tail() constInferenceList [inline]
~Lst()Lst< Inference >

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