public class AlternativeActionExpressionNodeOperations extends ActionExpressionNodeOperations
Constructor and Description |
---|
AlternativeActionExpressionNodeOperations() |
Modifier and Type | Method and Description |
---|---|
private AlternativeActionExpressionNode |
orderAlternativeLeaves(Term left,
Term right) |
void |
simplify(Term node) |
getActor, getActors, getFirstStep
getSimplifiedTerm, initNode, instantiate, match
compare, doSimplifyNode, equals, nodesToSimplify, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getSimplifiedTerm, instantiate, match
compare, equals, initNode, toString
public AlternativeActionExpressionNodeOperations()
public void simplify(Term node)
simplify
in interface Term.Operations
simplify
in class ActionExpressionNodeOperations
private AlternativeActionExpressionNode orderAlternativeLeaves(Term left, Term right)