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

TestSetOfImpl

class TestSetOfImpl(solverFactory: SolverFactory) : TestSetOf

Concrete implementation of TestSetOf, instantiated via TestSetOf.prototype.

Constructors

constructor(solverFactory: SolverFactory)

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

open override fun testSetOfAsFindAll()

Tests the queries

open override fun testSetOfBasic()

Tests the queries

testSetOfDoubled

open override fun testSetOfDoubled()

Tests the queries

open override fun testSetOfFail()

Tests the queries

testSetOfSorted

open override fun testSetOfSorted()

Tests the queries

open override fun testSetOfX()

Tests the queries