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

Unit::Data Member List

This is the complete list of members for Unit::Data, including all inherited members.
_clauseUnit::Data [private]
_counterUnit::Data [private]
_defTypeUnit::Data [private]
_formulaUnit::Data [private]
_intypeUnit::Data [private]
_lastNumberUnit::Data [private, static]
_nameUnit::Data [private]
_numberUnit::Data [private]
_parentsUnit::Data [private]
_ruleUnit::Data [private]
_untypeUnit::Data [private]
clause() constUnit::Data [inline]
Data(char *name, InputType untype, const Formula &)Unit::Data
Data(char *name, InputType untype, const Clause &)Unit::Data
Data(InferenceRule, const Formula &, const Unit &parent)Unit::Data
Data(InferenceRule, const Clause &, const Unit &parent)Unit::Data
Data(const Clause &, const UnitList &parents)Unit::Data
Data(const Formula &, const UnitList &parents)Unit::Data
defType() constUnit::Data [inline]
deref()Unit::Data [inline]
formula() constUnit::Data [inline]
inputType() constUnit::Data [inline]
intype() constUnit::Data
name() constUnit::Data [inline]
number() constUnit::Data [inline]
parents() constUnit::Data [inline]
ref()Unit::Data [inline]
rule() constUnit::Data [inline]
setDefType(DefType)Unit::Data [inline]
setFormula(Formula f)Unit::Data [inline]
unitType() constUnit::Data [inline]
~Data()Unit::Data

Generated on Sat Jun 28 15:09:00 2003 for Vampire by doxygen 1.3.2