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

withOperators

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