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

Companion

object Companion

Properties

const val FUNCTOR: String

The Operator functor

val TEMPLATE: Struct

An operator template

Functions

fun fromTerm(struct: Struct): Operator?

Creates an Operator instance from a well-formed Struct, or returns null if it cannot be interpreted as Operator

fun fromTerms(priority: Integer, specifier: Atom, functor: Atom): Operator?

Creates an Operator out of its priority, specifier, and functor terms, or null if specifier is invalid.

fun manyFromTerm(struct: Struct): Iterable<Operator>

Creates an Operator instance from a well-formed Struct, or returns null if it cannot be interpreted as Operator