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

TestSubAtomImpl

class TestSubAtomImpl(solverFactory: SolverFactory) : TestSubAtom

Concrete implementation of TestSubAtom, instantiated via TestSubAtom.prototype.

Constructors

TestSubAtomImpl

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

testSubAtomDoubleVar4

open override fun testSubAtomDoubleVar4()

Tests the query

testSubAtomInstantiationError

open override fun testSubAtomInstantiationError()

Tests the query

testSubAtomSubIsVar

open override fun testSubAtomSubIsVar()

Tests the query

testSubAtomSubIsVar2

open override fun testSubAtomSubIsVar2()

Tests the query

testSubAtomSubIsVar3

open override fun testSubAtomSubIsVar3()

Tests the query

testSubAtomTypeErrorAfterIsNotInteger

open override fun testSubAtomTypeErrorAfterIsNotInteger()

Tests the query

testSubAtomTypeErrorAtomIsInteger

open override fun testSubAtomTypeErrorAtomIsInteger()

Tests the query

testSubAtomTypeErrorBeforeIsNotInteger

open override fun testSubAtomTypeErrorBeforeIsNotInteger()

Tests the query

testSubAtomTypeErrorLengthIsNotInteger

open override fun testSubAtomTypeErrorLengthIsNotInteger()

Tests the query

testSubAtomTypeErrorSubIsInteger

open override fun testSubAtomTypeErrorSubIsInteger()

Tests the query