#include <Substitution.hpp>
Public Member Functions | |
| Data (Var v, const Term &t) | |
| Var | var () const |
| const Term & | term () const |
| void | ref () |
| void | deref () |
Private Attributes | |
| int | _counter |
| Var | _var |
| Term | _term |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.3.2