_connective | Formula::Data | [protected] |
_counter | Formula::Data | [protected] |
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] |