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