_args | Formula::JunctionData | [protected] |
_connective | Formula::Data | [protected] |
_counter | Formula::Data | [protected] |
args() const | Formula::JunctionData | [inline] |
connective() const | Formula::Data | [inline] |
Data(Connective c) | Formula::Data | [inline] |
deref() | Formula::Data | [inline] |
destroy() | Formula::Data | [inline, protected] |
JunctionData(Connective c, const FormulaList &lhs) | Formula::JunctionData | [inline] |
ref() | Formula::Data | [inline] |
~Data() | Formula::Data | [inline] |