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

Formula::JunctionData Member List

This is the complete list of members for Formula::JunctionData, including all inherited members.
_argsFormula::JunctionData [protected]
_connectiveFormula::Data [protected]
_counterFormula::Data [protected]
args() constFormula::JunctionData [inline]
connective() constFormula::Data [inline]
Data(Connective c)Formula::Data [inline]
deref()Formula::Data [inline]
destroy()Formula::Data [inline, protected]
JunctionData(Connective c, const FormulaList &lhs)Formula::JunctionData [inline]
ref()Formula::Data [inline]
~Data()Formula::Data [inline]

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