|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Class Summary | |
|---|---|
| AbstractTermRewritingStrategy | Base class for rewriting strategies. |
| BTStrategy | Strategy, which at first try to maximum evaluate subexpressions, than - expression. |
| FirstTopStrategy | FirstTop |
| NFirstTopsStrategy | Strategy, which try at first do reduction of first level. |
| TopDownStrategy | at first transform top terms, than subterms. |
built-in termware strategies.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||