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

TestRepeat

Conformance tests for the ISO repeat/0 built-in, shared by every Solver implementation via the TestRepeat.prototype(solverFactory) factory (see TestClassicRepeat 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

testRepeat

abstract fun testRepeat()

Tests the queries