public abstract class Term<A> extends Expression<A> implements Cloneable
Modifier | Constructor and Description |
---|---|
protected |
Term(String name,
Object... arguments) |
Modifier and Type | Method and Description |
---|---|
List<?> |
arguments() |
protected void |
checkArity(List<?> args,
int n) |
boolean |
equals(Object o) |
boolean |
equals(Term<?> o) |
String |
getName() |
int |
hashCode() |
protected abstract void |
rewriteFields(List<?> args) |
String |
toString() |
implement, implement, mapsTo
see also the complete user documentation .