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

Operator

class Operator(val functor: String, val specifier: Specifier, val priority: Int) : Comparable<Operator> , TermConvertible

A logic (a.k.a. Prolog) operator declaration, associating a functor with a specifier (fixity and associativity) and a priority (lower binds tighter). Operators are what let a TermFormatter render, e.g., +(1, 2) as 1 + 2, and what an OperatorSet groups together for a parser or formatter to consult.

Constructors

constructor(functor: String, specifier: Specifier, priority: Int)

Types

object Companion

Properties

val functor: String

The operator's functor, e.g. "+".

val priority: Int

The operator's priority: the lower, the tighter it binds.

val specifier: Specifier

The operator's fixity/associativity, e.g. Specifier.YFX.

Functions

open operator override fun compareTo(other: Operator): Int

open operator override fun equals(other: Any?): Boolean

open override fun hashCode(): Int

open override fun toString(): String

open override fun toTerm(): Struct

Converts this instance to a Prolog Term