FunctorInterface
interface FunctorInterface implements SymbolInterface
Common interface for functions, predicates or connectives. A characteristic feature of a functor is that it yields non-terminal expressions when provided with arguments.
Constants
| NOTATION_PREFIX |
|
| NOTATION_INFIX |
|
| NOTATION_SUFFIX |
|
| NOTATION_SYMBOL |
|
| NOTATION_FUNCTION |
|