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

TestFindAll

interface TestFindAll : SolverTest

Conformance tests for the ISO findall/3 built-in, shared by every Solver implementation via the TestFindAll.prototype(solverFactory) factory (see TestClassicFindAll in :solve-classic for a concrete usage). errorSignature is the Signature reported by errors raised while resolving findall's goal argument.

Types

object Companion

Properties

abstract val errorSignature: Signature

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

testFindSumResult

abstract fun testFindSumResult()

Tests the query

testFindXinCall

abstract fun testFindXinCall()

Tests the query

testFindXInDiffValues

abstract fun testFindXInDiffValues()

Tests the query

testFindXinFail

abstract fun testFindXinFail()

Tests the query

testFindXinGoal

abstract fun testFindXinGoal()

Tests the query

testFindXinNumber

abstract fun testFindXinNumber()

Tests the query

testFindXinSameXValues

abstract fun testFindXinSameXValues()

Tests the query

testFindXtoDoubleAssigment

abstract fun testFindXtoDoubleAssigment()

Tests the query

testResultListIsCorrect

abstract fun testResultListIsCorrect()

Tests the query