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

Companion

object Companion

Functions

Link copied to clipboard
@JvmStatic
@JvmOverloads
fun withDefaultOperators(scope: Scope = Scope.empty()): TermReader

Creates a reader with the library's default operator set.

Link copied to clipboard
@JvmStatic
@JvmOverloads
fun withNoOperator(scope: Scope = Scope.empty()): TermReader

Creates a reader with no default operators.

Link copied to clipboard
@JvmStatic
@JvmOverloads
fun withOperators(operators: OperatorSet, scope: Scope = Scope.empty()): TermReader

Creates a reader using operators and scope.

@JvmStatic
@JvmOverloads
fun withOperators(vararg operators: Operator, scope: Scope = Scope.empty()): TermReader

Creates a reader from individual operators and scope.

Link copied to clipboard
@JvmStatic
@JvmOverloads
fun withStandardOperators(scope: Scope = Scope.empty()): TermReader

Creates a reader with the standard operator set.

Generated by Dokka
© 2026 Copyright