| _data | Binding | [private] |
| Binding(Var v, const Term &t) | Binding | [inline] |
| Binding(const Binding &) | Binding | [inline] |
| operator=(const Binding &rhs) | Binding | |
| term() const | Binding | [inline] |
| var() const | Binding | [inline] |
| ~Binding() | Binding | [inline] |
1.3.2