_connective | Formula::Data | [protected] |
_counter | Formula::Data | [protected] |
_lhs | Formula::BinaryData | [protected] |
_rhs | Formula::BinaryData | [protected] |
BinaryData(Connective c, const Formula &lhs, const Formula &rhs) | Formula::BinaryData | [inline] |
connective() const | Formula::Data | [inline] |
Data(Connective c) | Formula::Data | [inline] |
deref() | Formula::Data | [inline] |
destroy() | Formula::Data | [inline, protected] |
left() const | Formula::BinaryData | [inline] |
ref() | Formula::Data | [inline] |
right() const | Formula::BinaryData | [inline] |
~Data() | Formula::Data | [inline] |