core/it.unibo.tuprolog.core.operators/Specifier/XF

XF

Postfix and no-associative

Properties

val isInfix: Boolean

Whether this specifier is an infix one

val isPostfix: Boolean

Whether this specifier is a postfix one

val isPrefix: Boolean

Whether this specifier is a prefix one

expect val name: String

expect val ordinal: Int

Functions

open override fun toTerm(): Atom

Creates an atom containing the specifier symbolic name