public abstract class AbstractBiFunction extends java.lang.Object implements Term
| Constructor and Description |
|---|
AbstractBiFunction(java.lang.String name,
Term x,
Term y)
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.
|