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

Go to download

Show more of this group Show more artifacts with this name
Show all versions of solve-jvm Show documentation

Resolution-agnostic API for logic solvers

There is a newer version: 1.0.4

package it.unibo.tuprolog.solve

internal object FactoryClassNames {
    const val CLASSIC = "it.unibo.tuprolog.solve.classic.ClassicSolverFactory"
    const val STREAMS = "it.unibo.tuprolog.solve.streams.StreamsSolverFactory"
    const val PROBLOG = "it.unibo.tuprolog.solve.problog.ProblogSolverFactory"
    const val CONCURRENT = "it.unibo.tuprolog.solve.concurrent.ConcurrentSolverFactory"
}

internal expect fun solverFactory(
    className: String,
    vararg classNames: String,
): SolverFactory

expect fun classicSolverFactory(): SolverFactory

expect fun concurrentSolverFactory(): SolverFactory

expect fun streamsSolverFactory(): SolverFactory

expect fun problogSolverFactory(): SolverFactory