_atom | Formula::AtomicData | [protected] |
_connective | Formula::Data | [protected] |
_counter | Formula::Data | [protected] |
atom() const | Formula::AtomicData | [inline] |
AtomicData(const Atom &atom) | Formula::AtomicData | [inline, explicit] |
connective() const | Formula::Data | [inline] |
Data(Connective c) | Formula::Data | [inline] |
deref() | Formula::Data | [inline] |
destroy() | Formula::Data | [inline, protected] |
ref() | Formula::Data | [inline] |
~Data() | Formula::Data | [inline] |