public abstract class AbstractFunction extends java.lang.Object implements Term
| Constructor and Description |
|---|
AbstractFunction(java.lang.String name,
Term x)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
toString() |
java.util.Set<java.lang.String> |
variables()
Returns the list of variables used in this term.
|
public AbstractFunction(java.lang.String name,
Term x)
name - the name of function.x - the term that the function is applied to.