| _counter | Binding::Data | [private] |
| _term | Binding::Data | [private] |
| _var | Binding::Data | [private] |
| Data(Var v, const Term &t) | Binding::Data | [inline] |
| deref() | Binding::Data | [inline] |
| ref() | Binding::Data | [inline] |
| term() const | Binding::Data | [inline] |
| var() const | Binding::Data | [inline] |
1.3.2