Operator

class Operator: Comparable<Operator>, ToTermConvertible, Any

Class representing a Prolog Operator

Fields

Name Description
val functor: String
val specifier: Specifier
val priority: Int

Constructors

<init>

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

Class representing a Prolog Operator

Parameters

Name Description
functor: String
specifier: Specifier
priority: Int

Methods

compareTo

fun compareTo(other: Operator): Int

Parameters

Name Description
other: Operator

ReturnValue

Name Description
Int

toTerm

fun toTerm(): Struct

Converts this instance to a Prolog Term

ReturnValue

Name Description
Struct

equals

fun equals(other: Any?): Boolean

Parameters

Name Description
other: Any?

ReturnValue

Name Description
Boolean

hashCode

fun hashCode(): Int

ReturnValue

Name Description
Int

toString

fun toString(): String

ReturnValue

Name Description
String

CompanionObject

Operator

class Operator: Comparable<Operator>, ToTermConvertible, Any

Class representing a Prolog Operator

Fields

Name Description
const FUNCTOR: String

The Operator functor

val TEMPLATE: Struct

An operator template

Methods

fromTerms

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

Parameters

Name Description
priority: Integer
specifier: Atom
functor: Atom

ReturnValue

Name Description
Operator?

fromTerm

fun fromTerm(struct: Struct): Operator?

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

Parameters

Name Description
struct: Struct

ReturnValue

Name Description
Operator?