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

TestNumberCharsImpl

class TestNumberCharsImpl(solverFactory: SolverFactory) : TestNumberChars

Concrete implementation of TestNumberChars, instantiated via TestNumberChars.prototype.

Constructors

TestNumberCharsImpl

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

testNumberCharsCompleteCase

open override fun testNumberCharsCompleteCase()

Tests the query

testNumberCharsDecimalNumber

open override fun testNumberCharsDecimalNumber()

Tests the query

testNumberCharsInstationErrror

open override fun testNumberCharsInstationErrror()

Tests the query

testNumberCharsListIsVar

open override fun testNumberCharsListIsVar()

Tests the query

testNumberCharsNumIsVar

open override fun testNumberCharsNumIsVar()

Tests the query

testNumberCharsNumNegativeIsVar

open override fun testNumberCharsNumNegativeIsVar()

Tests the query

testNumberCharsOK

open override fun testNumberCharsOK()

Tests the query

testNumberCharsSpace

open override fun testNumberCharsSpace()

Tests the query