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
Receiver
| Name | Description |
|---|---|
Sequence
|
ReturnValue
| Name | Description |
|---|---|
OperatorsIndex
|
toOperatorsIndex
fun Iterable<Operator>.toOperatorsIndex(): OperatorsIndex
Receiver
| Name | Description |
|---|---|
Iterable<Operator>
|
ReturnValue
| Name | Description |
|---|---|
OperatorsIndex
|