• Home
• it.unibo.tuprolog
• solve-jvm
• 0.32.5
• source code
• SolutionFormatter.kt

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

commonMain.it.unibo.tuprolog.solve.SolutionFormatter.kt Maven / Gradle / Ivy

package it.unibo.tuprolog.solve

import it.unibo.tuprolog.core.Formatter
import it.unibo.tuprolog.core.TermFormatter
import it.unibo.tuprolog.core.operators.OperatorSet
import it.unibo.tuprolog.solve.impl.SolutionFormatterImpl
import kotlin.js.JsName
import kotlin.jvm.JvmOverloads
import kotlin.jvm.JvmStatic

interface SolutionFormatter : Formatter {
    companion object {
        @JsName("of")
        @JvmStatic
        @JvmOverloads
        fun of(termFormatter: TermFormatter = TermFormatter.prettyExpressions()): SolutionFormatter =
            SolutionFormatterImpl(termFormatter)

        @JsName("withOperators")
        @JvmStatic
        fun withOperators(operators: OperatorSet): SolutionFormatter =
            of(TermFormatter.prettyExpressions(true, operators))
    }
}