it.unibo.tuprolog.core.operators

package it.unibo.tuprolog.core.operators

Classes

Name Description
class Operator: Comparable<Operator>, TermConvertible, Any

Class representing a logic operator

class OperatorSet: Set<Operator>, Any

Class representing a Set of Operators

class OperatorsIndex
enum class Specifier: Enum<Specifier>, TermConvertible

Enumeration containing all type of specifiers that can be given to Operators.

The conventions for defining the order (prefix, infix and postfix) and associativity (left, right, none) of operators are as follows, where f stands for the position of the operator and x and y for its arguments:

| Prefix | Postfix | Infix | Associativity | | ------ | ------- | ----- | ------------- | | fx | xf | xfx | none | | | yf | yfx | left | | fy | | xfy | right |

Typealiases

Name Description
typealias OperatorsIndex = Map

Methods

toOperatorsIndex

fun Sequence<Operator>.toOperatorsIndex(): OperatorsIndex

Receiver

Name Description
Sequence<Operator>

ReturnValue

Name Description
OperatorsIndex

toOperatorsIndex

fun Iterable<Operator>.toOperatorsIndex(): OperatorsIndex

Receiver

Name Description
Iterable<Operator>

ReturnValue

Name Description
OperatorsIndex