Companion
object Companion
Functions
Link copied to clipboard
fun of(termFormatter: TermFormatter = TermFormatter.prettyExpressions(), groundQueriesHaveBooleanSolution: Boolean = false): SolutionFormatter
Creates a SolutionFormatter rendering terms with termFormatter (defaults to pretty-printed expressions). When groundQueriesHaveBooleanSolution is true, a yes solution to a ground query (no variables at all) is rendered simply as yes., rather than repeating the (identical) solved query.
Link copied to clipboard
fun withOperators(operators: OperatorSet, groundQueriesHaveBooleanSolution: Boolean = false): SolutionFormatter
Creates a SolutionFormatter that pretty-prints expressions using the given operators for notation.