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

Query Member List

This is the complete list of members for Query, including all inherited members.
_attributesQuery [private]
_bindingsLimitQuery [private]
_depthLimitQuery [private]
_formulaQuery [private]
_timeLimitQuery [private]
_typeQuery [private]
ASSERTION enum valueQuery
bindingsLimit() constQuery [inline]
formula() constQuery [inline]
GOAL enum valueQuery
Query(QueryType qtype, const Formula &formula, Attribute *attributes)Query
Query()Query [inline]
QueryType enum nameQuery
TERMINATE enum valueQuery
timeLimit() constQuery [inline]
type() constQuery [inline]

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