• Home
• it.unibo.tuprolog
• test-solve
• 0.30.4
• source code
• TestSolverConstruction.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.TestSolverConstruction.kt Maven / Gradle / Ivy

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()
}