public static interface Term.Operations extends Node.Operations
Modifier and Type | Method and Description |
---|---|
Term |
getSimplifiedTerm(Term node) |
Term |
instantiate(Term node,
String varname,
Node expression) |
MatchResult |
match(Term node,
Node expression) |
void |
simplify(Term node) |
compare, equals, initNode, toString