_arg | Formula::UnaryData | [protected] |
_connective | Formula::Data | [protected] |
_counter | Formula::Data | [protected] |
arg() const | Formula::UnaryData | [inline] |
connective() const | Formula::Data | [inline] |
Data(Connective c) | Formula::Data | [inline] |
deref() | Formula::Data | [inline] |
destroy() | Formula::Data | [inline, protected] |
ref() | Formula::Data | [inline] |
UnaryData(Connective c, const Formula &arg) | Formula::UnaryData | [inline] |
~Data() | Formula::Data | [inline] |