public class TermNodeOperations extends DefaultNodeOperations implements Term.Operations
Constructor and Description |
---|
TermNodeOperations() |
Modifier and Type | Method and Description |
---|---|
Term |
getSimplifiedTerm(Term node) |
void |
initNode(Node node) |
Term |
instantiate(Term node,
String varname,
Node expression) |
MatchResult |
match(Term node,
Node expression) |
void |
simplify(Term node) |
compare, doSimplifyNode, equals, nodesToSimplify, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
compare, equals, toString
public void initNode(Node node)
initNode
in interface Node.Operations
initNode
in class DefaultNodeOperations
public void simplify(Term node)
simplify
in interface Term.Operations
public Term getSimplifiedTerm(Term node)
getSimplifiedTerm
in interface Term.Operations
public MatchResult match(Term node, Node expression)
match
in interface Term.Operations
public Term instantiate(Term node, String varname, Node expression)
instantiate
in interface Term.Operations