solve/it.unibo.tuprolog.solve/SolutionFormatter/Companion

Companion

object Companion
Content copied to clipboard

Functions

Link copied to clipboard
@JvmStatic
@JvmOverloads
fun of(termFormatter: <ERROR CLASS> = TermFormatter.prettyExpressions()): SolutionFormatter
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun withOperators(operators: <ERROR CLASS>): SolutionFormatter
Content copied to clipboard