| _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] |
1.3.2