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

TestAtomLengthImpl

class TestAtomLengthImpl(solverFactory: SolverFactory) : TestAtomLength

Concrete implementation of TestAtomLength, instantiated via TestAtomLength.prototype.

Constructors

TestAtomLengthImpl

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

testAtomLengthFail

open override fun testAtomLengthFail()

Tests the queries

testAtomLengthFirstIsVar

open override fun testAtomLengthFirstIsVar()

Tests the queries

testAtomLengthNoVar

open override fun testAtomLengthNoVar()

Tests the queries

testAtomLengthSecondIsVar

open override fun testAtomLengthSecondIsVar()

Tests the queries

testAtomLengthSecondIsVar2

open override fun testAtomLengthSecondIsVar2()

Tests the queries