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

Companion

object Companion
Content copied to clipboard

Functions

Link copied to clipboard
@JvmStatic
@JvmOverloads
fun withDefaultOperators(scope: <ERROR CLASS> = Scope.empty()): TermParser
Content copied to clipboard
Link copied to clipboard
@JvmStatic
@JvmOverloads
fun withNoOperator(scope: <ERROR CLASS> = Scope.empty()): TermParser
Content copied to clipboard
Link copied to clipboard
@JvmStatic
@JvmOverloads
fun withOperators(operators: <ERROR CLASS>, scope: <ERROR CLASS> = Scope.empty()): TermParser
Content copied to clipboard
@JvmStatic
@JvmOverloads
fun withOperators(vararg operators: <ERROR CLASS>, scope: <ERROR CLASS> = Scope.empty()): TermParser
Content copied to clipboard
Link copied to clipboard
@JvmStatic
@JvmOverloads
fun withStandardOperators(scope: <ERROR CLASS> = Scope.empty()): TermParser
Content copied to clipboard