#include <ListSubstitution.hpp>
Public Member Functions | |
| Binding (Var v, Term t) | |
| Var | var () const |
| const Term & | term () const |
Private Attributes | |
| Var | _var |
| const Term | _term |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.3.2