_clause | Unit::Data | [private] |
_counter | Unit::Data | [private] |
_defType | Unit::Data | [private] |
_formula | Unit::Data | [private] |
_intype | Unit::Data | [private] |
_lastNumber | Unit::Data | [private, static] |
_name | Unit::Data | [private] |
_number | Unit::Data | [private] |
_parents | Unit::Data | [private] |
_rule | Unit::Data | [private] |
_untype | Unit::Data | [private] |
clause() const | Unit::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() const | Unit::Data | [inline] |
deref() | Unit::Data | [inline] |
formula() const | Unit::Data | [inline] |
inputType() const | Unit::Data | [inline] |
intype() const | Unit::Data | |
name() const | Unit::Data | [inline] |
number() const | Unit::Data | [inline] |
parents() const | Unit::Data | [inline] |
ref() | Unit::Data | [inline] |
rule() const | Unit::Data | [inline] |
setDefType(DefType) | Unit::Data | [inline] |
setFormula(Formula f) | Unit::Data | [inline] |
unitType() const | Unit::Data | [inline] |
~Data() | Unit::Data | |