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

Go to download

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

Common testing facilities for 2P-Kt-based logic solvers

There is a newer version: 1.0.4

package it.unibo.tuprolog.solve

import it.unibo.tuprolog.solve.library.Library

interface TestSolverConstruction {
    companion object {
        inline fun  prototype(
            factory: SolverFactory,
            defaultBuiltins: Library,
        ): TestSolverConstruction = TestSolverConstructionImpl(factory, defaultBuiltins, T::class, MT::class)
    }

    fun testCreatingEmptySolver()

    fun testCreatingCustomSolver()

    fun testCreatingSolverWithDefaultBuiltins()

    fun testCreatingCustomSolverWithDefaultBuiltins()

    fun testCreatingEmptyMutableSolver()

    fun testCreatingCustomMutableSolver()

    fun testCreatingMutableSolverWithDefaultBuiltins()

    fun testCreatingCustomMutableSolverWithDefaultBuiltins()

    fun testBuildingEmptySolver()

    fun testBuildingCustomSolver()

    fun testBuildingSolverWithDefaultBuiltins()

    fun testBuildingCustomSolverWithDefaultBuiltins()

    fun testBuildingEmptyMutableSolver()

    fun testBuildingCustomMutableSolver()

    fun testBuildingMutableSolverWithDefaultBuiltins()

    fun testBuildingCustomMutableSolverWithDefaultBuiltins()
}