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

TestIfThen

interface TestIfThen : SolverTest

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

abstract fun testIfThenFail()

Tests the queries

testIfThenFailTrue

abstract fun testIfThenFailTrue()

Tests the queries

testIfThenOrWithDoubleSub

abstract fun testIfThenOrWithDoubleSub()

Tests the queries

abstract fun testIfThenTrue()

Tests the queries

abstract fun testIfThenXOr()

Tests the queries

testIfThenXtoOne

abstract fun testIfThenXtoOne()

Tests the queries