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

Companion

object Companion

Properties

val INFIX: Set<Specifier>

Set of infix specifiers

val NON_PREFIX: Set<Specifier>

Set of non-prefix specifiers

val POSTFIX: Set<Specifier>

Set of postfix specifiers

val PREFIX: Set<Specifier>

Set of prefix specifiers

Functions

fun fromTerm(atom: Atom): Specifier

Retrieves the specifier from an Atom value

fun fromTerm(term: Term): Specifier

Retrieves the specifier from an Atom value, throwing exception if not found