|
Orbital library | |||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Interface Summary | |
|---|---|
| Substitution | Term substitution function. |
| Substitution.Matcher | Interface for matching and replacing elementary terms within a substitution. |
| Variable | Variable tagging interface. |
| Class Summary | |
|---|---|
| Substitutions | Provides term substitution, unification methods and the λ-operator. |
Provides a term rewrite system (TRS) mechanism with substitution and unification.
Substitutions, unification and term rewrite systems are accessed from the class orbital.logic.trs.Substitutions, which is very useful for structural term manipulations.
|
Orbital library 1.2.0: 23 Apr 2008 |
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||