Uses of Interface
org.xmloperator.lambda.tree.reduction.ReductionListener

Packages that use ReductionListener
org.xmloperator.lambda.tree.reduction   
 

Uses of ReductionListener in org.xmloperator.lambda.tree.reduction
 

Methods in org.xmloperator.lambda.tree.reduction with parameters of type ReductionListener
static Term TreeBetaUtils.reduceDeeply(Term rootTerm, org.xmloperator.lambda.tree.reduction.ReductionListener reductionListener)
          Reduces a Term until a normal form is obtained.