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

TestBagOf

interface TestBagOf : SolverTest

Conformance tests for the ISO bagof/3 built-in, shared by every Solver implementation via the TestBagOf.prototype(solverFactory) factory (see TestClassicBagOf in :solve-classic for a concrete usage). Compare with TestSetOf (which additionally sorts and deduplicates results) and TestFindAll (which additionally never fails and does not support the ^/2 existential-quantification operator).

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

abstract fun testBagOfFail()

Tests the queries

abstract fun testBagOfFindX()

Tests the queries

testBagOfInstanceError

abstract fun testBagOfInstanceError()

Tests the queries

testBagOfSameAsFindall

abstract fun testBagOfSameAsFindall()

Tests the queries

testBagOfTypeError

abstract fun testBagOfTypeError()

Tests the queries

abstract fun testBagOfYXZ()

Tests the queries

testBagXInDifferentValues

abstract fun testBagXInDifferentValues()

Tests the queries