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

TestSetOf

interface TestSetOf : SolverTest

Conformance tests for the ISO setof/3 built-in, shared by every Solver implementation via the TestSetOf.prototype(solverFactory) factory (see TestClassicSetOf in :solve-classic for a concrete usage). Compare with TestBagOf, which does not sort or deduplicate results.

Inheritors

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

testSetOfAsFindAll

abstract fun testSetOfAsFindAll()

Tests the queries

abstract fun testSetOfBasic()

Tests the queries

testSetOfDoubled

abstract fun testSetOfDoubled()

Tests the queries

abstract fun testSetOfFail()

Tests the queries

testSetOfSorted

abstract fun testSetOfSorted()

Tests the queries

abstract fun testSetOfX()

Tests the queries