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

TestSubAtom

interface TestSubAtom : SolverTest

Conformance tests for the ISO sub_atom/5 built-in (sub_atom(Atom, Before, Length, After, SubAtom)), shared by every Solver implementation via the TestSubAtom.prototype(solverFactory) factory (see TestClassicSubAtom in :solve-classic for a concrete usage).

Inheritors

TestSubAtomImpl

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

testSubAtomDoubleVar4

abstract fun testSubAtomDoubleVar4()

Tests the query

testSubAtomInstantiationError

abstract fun testSubAtomInstantiationError()

Tests the query

testSubAtomSubIsVar

abstract fun testSubAtomSubIsVar()

Tests the query

testSubAtomSubIsVar2

abstract fun testSubAtomSubIsVar2()

Tests the query

testSubAtomSubIsVar3

abstract fun testSubAtomSubIsVar3()

Tests the query

testSubAtomTypeErrorAfterIsNotInteger

abstract fun testSubAtomTypeErrorAfterIsNotInteger()

Tests the query

testSubAtomTypeErrorAtomIsInteger

abstract fun testSubAtomTypeErrorAtomIsInteger()

Tests the query

testSubAtomTypeErrorBeforeIsNotInteger

abstract fun testSubAtomTypeErrorBeforeIsNotInteger()

Tests the query

testSubAtomTypeErrorLengthIsNotInteger

abstract fun testSubAtomTypeErrorLengthIsNotInteger()

Tests the query

testSubAtomTypeErrorSubIsInteger

abstract fun testSubAtomTypeErrorSubIsInteger()

Tests the query