core/it.unibo.tuprolog.core.operators/toOperatorsIndex

toOperatorsIndex

fun Iterable<Operator>.toOperatorsIndex(): OperatorsIndex

Builds an OperatorsIndex out of this collection of Operators, for fast functor/specifier lookups.

fun Sequence<Operator>.toOperatorsIndex(): OperatorsIndex

See also

Iterable.toOperatorsIndex