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

TestAnd

Conformance tests for , /2 (conjunction, and), shared by every Solver implementation via the TestAnd.prototype(solverFactory) factory (see TestClassicAnd in :solve-classic for a concrete usage).

Types

Companion

object Companion

Properties

longDuration

open val longDuration: TimeDuration

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

mediumDuration

open val mediumDuration: TimeDuration

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

shortDuration

open val shortDuration: TimeDuration

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

Functions

testFailIsCallable

abstract fun testFailIsCallable()

Tests the query

testNoFooIsCallable

abstract fun testNoFooIsCallable()

Tests the query

testTermIsFreeVariable

abstract fun testTermIsFreeVariable()

Tests the query

testTrueVarCallable

abstract fun testTrueVarCallable()

Tests the query

testWithSubstitution

abstract fun testWithSubstitution()

Tests the query