| _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 | |