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

Companion

object Companion

Functions

fun of(termFormatter: TermFormatter = TermFormatter.prettyExpressions()): SolutionFormatter

Creates a SolutionFormatter rendering terms with termFormatter (defaults to pretty-printed expressions).

fun withOperators(operators: OperatorSet): SolutionFormatter

Creates a SolutionFormatter that pretty-prints expressions using the given operators for notation.