|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |