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

Inference::Data Member List

This is the complete list of members for Inference::Data, including all inherited members.
_counterInference::Data [protected]
_ruleInference::Data [protected]
Data()Inference::Data
Data(Rule rule)Inference::Data [inline, explicit]
deref()Inference::Data [inline]
destroy()Inference::Data
ref()Inference::Data [inline]
rule() constInference::Data [inline]
~Data()Inference::Data [inline]

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