parser-core/it.unibo.tuprolog.core.parsing/TermParser/Companion

Companion

object Companion

Functions

withDefaultOperators

fun withDefaultOperators(scope: Scope = Scope.empty()): TermParserImpl

Creates a parser using the library's complete default operator set.

fun withNoOperator(scope: Scope = Scope.empty()): TermParserImpl

Creates a parser whose default operator set is empty.

fun withOperators(operators: OperatorSet, scope: Scope = Scope.empty()): TermParserImpl

Creates a parser using operators as its default and allocating terms in scope.

fun withOperators(vararg operators: Operator, scope: Scope = Scope.empty()): TermParserImpl

Creates a parser from individual default operators and the supplied scope.

withStandardOperators

fun withStandardOperators(scope: Scope = Scope.empty()): TermParserImpl

Creates a parser using the ISO-style standard operator set.