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

TestTrue

Conformance tests for true/0, shared by every Solver implementation via the TestTrue.prototype(solverFactory) factory (see TestClassicTrue 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

testTrue

abstract fun testTrue()

Tests the queries