test-solve/it.unibo.tuprolog.solve/TestIfThenElse

TestIfThenElse

interface TestIfThenElse : SolverTest

Conformance tests for the combined ->/2 ;/2 construct (if-then-else), shared by every Solver implementation via the TestIfThenElse.prototype(solverFactory) factory (see TestClassicIfThenElse in :solve-classic for a concrete usage). See also TestIfThen for the plain ->/2 (if-then, without an else branch) construct.

Types

object Companion

Properties

open val longDuration: TimeDuration

A long test max duration, four times mediumDuration; used for queries involving deeper search or recursion.

open val mediumDuration: TimeDuration

A medium test max duration, twice shortDuration; used for queries involving a handful of resolution steps.

open val shortDuration: TimeDuration

A short test max duration, used for queries expected to resolve almost immediately.

Functions

testIfFailElseFail

abstract fun testIfFailElseFail()

Tests the queries

testIfFailElseTrue

abstract fun testIfFailElseTrue()

Tests the queries

testIfFailElseX

abstract fun testIfFailElseX()

Tests the queries

testIfOrElseTrue

abstract fun testIfOrElseTrue()

Tests the queries

testIfThenElseOrWithDoubleSub

abstract fun testIfThenElseOrWithDoubleSub()

Tests the queries

testIfTrueElseFail

abstract fun testIfTrueElseFail()

Tests the queries

testIfTrueThenElseFail

abstract fun testIfTrueThenElseFail()

Tests the queries

testIfXTrueElseX

abstract fun testIfXTrueElseX()

Tests the queries