public abstract class Operator extends AbstractBiFunction
| Constructor and Description |
|---|
Operator(java.lang.String name,
Term x,
Term y)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
toString() |
variablespublic java.lang.String toString()
toString in class AbstractBiFunction