public class FunctionalTermParamNodeOperations extends TermNodeOperations implements FunctionalTermParamNode.Operations
Constructor and Description |
---|
FunctionalTermParamNodeOperations() |
Modifier and Type | Method and Description |
---|---|
Term |
getParameter(FunctionalTermParamNode node,
String name) |
void |
setParameter(FunctionalTermParamNode node,
String name,
Term term) |
void |
simplify(Term node) |
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 Term getParameter(FunctionalTermParamNode node, String name)
getParameter
in interface FunctionalTermParamNode.Operations
public void setParameter(FunctionalTermParamNode node, String name, Term term)
setParameter
in interface FunctionalTermParamNode.Operations
public void simplify(Term node)
simplify
in interface Term.Operations
simplify
in class TermNodeOperations