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

Formula::QuantifiedData Member List

This is the complete list of members for Formula::QuantifiedData, including all inherited members.
_argFormula::QuantifiedData [protected]
_connectiveFormula::Data [protected]
_counterFormula::Data [protected]
_varsFormula::QuantifiedData [protected]
arg() constFormula::QuantifiedData [inline]
connective() constFormula::Data [inline]
Data(Connective c)Formula::Data [inline]
deref()Formula::Data [inline]
destroy()Formula::Data [inline, protected]
QuantifiedData(Connective c, const VarList &vs, const Formula &arg)Formula::QuantifiedData [inline]
ref()Formula::Data [inline]
vars() constFormula::QuantifiedData [inline]
~Data()Formula::Data [inline]

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