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

Unit Member List

This is the complete list of members for Unit, including all inherited members.
_dataUnit [private]
clause() constUnit [inline]
defType() constUnit [inline]
formula() constUnit [inline]
formulaWithFreeVars() constUnit
giveAway()Unit [inline]
inputType() constUnit [inline]
isEqualityAxiom() constUnit
makeDefinition(Unit &def)Unit
name() constUnit [inline]
number() constUnit [inline]
operator new(size_t)Unit
operator=(const Unit &rhs)Unit
operator==(const Unit &rhs) constUnit [inline]
parents() constUnit [inline]
rule() constUnit [inline]
setDefType(DefType)Unit [inline]
setFormula(Formula f)Unit [inline]
Unit()Unit [inline]
Unit(const Unit &a)Unit [inline]
Unit(char *name, InputType untype, const Formula &)Unit [inline]
Unit(char *name, InputType untype, const Clause &)Unit [inline]
Unit(InferenceRule, const Formula &, const Unit &parent)Unit [inline]
Unit(InferenceRule, const Clause &, const Unit &parent)Unit [inline]
Unit(const Clause &, const UnitList &parents)Unit [inline]
Unit(const Formula &, const UnitList &parents)Unit [inline]
Unit(void *)Unit [inline, explicit]
unitType() constUnit [inline]
~Unit()Unit [inline]

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