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

TestCompound

Conformance tests for the ISO compound/1 type-checking built-in, shared by every Solver implementation via the TestCompound.prototype(solverFactory) factory (see TestClassicCompound 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

testCompoundA

abstract fun testCompoundA()

Tests the queries

testCompoundAny

abstract fun testCompoundAny()

Tests the queries

testCompoundAOfB

abstract fun testCompoundAOfB()

Tests the queries

testCompoundDec

abstract fun testCompoundDec()

Tests the queries

testCompoundListA

abstract fun testCompoundListA()

Tests the queries

testCompoundNegA

abstract fun testCompoundNegA()

Tests the queries

testCompoundNegDec

abstract fun testCompoundNegDec()

Tests the queries