Package ua.gradsoft.termware.strategies

built-in termware strategies.

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.
 

Package ua.gradsoft.termware.strategies Description

built-in termware strategies.