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

TestRetract

Conformance tests for the ISO retract/1 built-in's error cases, shared by every Solver implementation via the TestRetract.prototype(solverFactory) factory (see TestClassicRetract 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

testRetractAtomEmptyList

abstract fun testRetractAtomEmptyList()

Tests the queries

testRetractNumIfX

abstract fun testRetractNumIfX()

Tests the queries