Uses of Interface
org.xmloperator.lambda.net.model.OperatorFactory

Packages that use OperatorFactory
org.xmloperator.lambda.net.model   
org.xmloperator.lambda.translate   
 

Uses of OperatorFactory in org.xmloperator.lambda.net.model
 

Methods in org.xmloperator.lambda.net.model that return OperatorFactory
 OperatorFactory Operator.getFactory()
          Returns the factory of this Operator, which can be used for building compatible Operators.
 

Uses of OperatorFactory in org.xmloperator.lambda.translate
 

Methods in org.xmloperator.lambda.translate with parameters of type OperatorFactory
static Term Reducer.reduceDeeply(Term rootTerm, OperatorFactory operatorFactory, org.xmloperator.lambda.net.util.InteractionListener interactionListener, org.xmloperator.lambda.net.reduction.ReductionListener redexListener)
          Reduces a term until the normal form, if possible.