A | |
| add_subst1 [Terme] | |
| add_subst2 [Terme] | |
| apply_subst [Terme] |
Appliquer une substitition
s à un terme t.
|
C | |
| compsubst [Terme] |
Calcul de la composition de deux substitution, version finale.
|
| compsubst1 [Terme] |
Calcul de la composition de deux substitutions.
|
| compsubst2 [Terme] |
Calcul de la composition de deux substitution, deuxième version.
|
I | |
| iter_term [Terme] |
Itérateur sur les termes, version finale.
|
| iter_term1 [Terme] |
Itérateur sur les termes, première version.
|
| iter_term2 [Terme] |
Itérateur sur les termes, deuxième version.
|
M | |
| matching [Terme] |
Filtrage, version finale.
|
| matching1 [Terme] |
Filtrage, première version
|
| matching2 [Terme] |
Filtrage, deuxième version.
|
| matching3 [Terme] |
Filtrage, version avec traitment d'erreurs.
|
O | |
| occurs [Terme] |
Est ce que une variable occurre un terme?.
|
U | |
| unify [Terme] |
Unification
|
V | |
| vars [Terme] |
Calcul des variables dans un terme.
|