|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
|---|---|
| DependencyPairProblem | Class for storing a single Dependency Pair Problem. |
| RewriteSystem | Class modelling a Rewrite System. |
| Rule | Class modelling a term rewrite rule. |
| Strategy | Class modelling a Strategy. |
| Substitution | Class modelling a Substitution. |
| Term | Class modelling a term. |
| Class Summary | |
|---|---|
| Pair<T,U> | |
| UtilityFunctions | |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||