public static interface FunctionalTermParamNode.Operations extends Term.Operations
Modifier and Type | Method and Description |
---|---|
Term |
getParameter(FunctionalTermParamNode node,
String name) |
void |
setParameter(FunctionalTermParamNode node,
String name,
Term term) |
getSimplifiedTerm, instantiate, match, simplify
compare, equals, initNode, toString
Term getParameter(FunctionalTermParamNode node, String name)
void setParameter(FunctionalTermParamNode node, String name, Term term)