commonMain.it.unibo.tuprolog.solve.TestFlags.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

interface TestFlags : SolverTest {
    companion object {
        fun prototype(solverFactory: SolverFactory): TestFlags = TestFlagsImpl(solverFactory)
    }

    fun defaultLastCallOptimizationIsOn()

    fun defaultUnknownIsWarning()

    fun settingUnknownToAdmissibleValueSucceeds()

    fun flagsNamesMustBeAtoms()

    fun gettingMissingFlagsFails()

    fun gettingFlagsByVariableEnumeratesFlags()

    fun settingFlagsByVariableGeneratesInstantiationError()

    fun settingWrongValueToLastCallOptimizationProvokesDomainError()

    fun attemptingToEditMaxArityFlagProvokesPermissionError()

    fun settingMissingFlagsSucceeds()
}