parser-theory/it.unibo.tuprolog.theory.parsing/ClausesReader/Companion

Companion

object Companion
Content copied to clipboard

Functions

Link copied to clipboard
@JvmStatic
fun withDefaultOperators(): ClausesReader
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun withNoOperator(): ClausesReader
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun withOperators(operators: OperatorSet): ClausesReader
Content copied to clipboard
@JvmStatic
fun withOperators(vararg operators: Operator): ClausesReader
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun withStandardOperators(): ClausesReader
Content copied to clipboard