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

TestAtomCodesImpl

class TestAtomCodesImpl(solverFactory: SolverFactory) : TestAtomCodes

Concrete implementation of TestAtomCodes, instantiated via TestAtomCodes.prototype.

Constructors

TestAtomCodesImpl

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

testAtomCodesFail

open override fun testAtomCodesFail()

Tests the queries

testAtomCodesFirstIsVar

open override fun testAtomCodesFirstIsVar()

Tests the queries

testAtomCodesNoVar

open override fun testAtomCodesNoVar()

Tests the queries

testAtomCodesSecondIsVar

open override fun testAtomCodesSecondIsVar()

Tests the queries

testAtomCodesSecondIsVar1

open override fun testAtomCodesSecondIsVar1()

Tests the queries