public abstract class AbstractFunction extends AbstractTerm
| Constructor and Description |
|---|
AbstractFunction(java.lang.String name,
Term x)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
void |
bind(StructType schema)
Binds the term to a schema.
|
java.lang.String |
name()
Returns the name of output values.
|
java.lang.String |
toString() |
java.util.Set<java.lang.String> |
variables()
Returns the list of variables used in this term.
|
equals, hashCodeclone, finalize, getClass, notify, notifyAll, wait, wait, waitapply, apply, applyAsBoolean, applyAsByte, applyAsChar, applyAsDouble, applyAsFloat, applyAsInt, applyAsLong, applyAsShort, field, isConstant, isVariable, measure, terms, typepublic AbstractFunction(java.lang.String name,
Term x)
name - the name of function.x - the term that the function is applied to.public java.lang.String name()
Termpublic java.lang.String toString()
toString in class java.lang.Objectpublic java.util.Set<java.lang.String> variables()
HyperTermpublic void bind(StructType schema)
HyperTerm