• Home
• it.unibo.tuprolog
• solve-jvm
• 1.0.4
• source code
• SolverExtensionsJvm.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.

jvmMain.it.unibo.tuprolog.solve.SolverExtensionsJvm.kt Maven / Gradle / Ivy

package it.unibo.tuprolog.solve

@Suppress("SwallowedException")
internal actual fun solverFactory(
    className: String,
    vararg classNames: String,
): SolverFactory {
    return sequenceOf(className, *classNames)
        .map {
            try {
                Class.forName(it).kotlin
            } catch (e: ClassNotFoundException) {
                null
            }
        }
        .filterNotNull()
        .map { it.objectInstance }
        .filterIsInstance()
        .firstOrNull()
        ?: error("No viable implementation for ${SolverFactory::class.simpleName}")
}

actual fun classicSolverFactory(): SolverFactory = solverFactory(FactoryClassNames.CLASSIC)

actual fun streamsSolverFactory(): SolverFactory = solverFactory(FactoryClassNames.STREAMS)

actual fun problogSolverFactory(): SolverFactory = solverFactory(FactoryClassNames.PROBLOG)

actual fun concurrentSolverFactory(): SolverFactory = solverFactory(FactoryClassNames.CONCURRENT)