parser-core/it.unibo.tuprolog.core.parsing/toOperatorTable

toOperatorTable

fun OperatorSet.toOperatorTable(): OperatorTable

Creates an immutable parser-level table containing all operators in this set.

Throws

it.unibo.tuprolog.parser.exceptions.InvalidOperatorDefinitionException

if any converted definition is invalid