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