|
|||||||||||
| 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 | ||||||||||