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

TestNumberChars

interface TestNumberChars : SolverTest

Conformance tests for the ISO number_chars/2 built-in, shared by every Solver implementation via the TestNumberChars.prototype(solverFactory) factory (see TestClassicNumberChars in :solve-classic for a concrete usage). See also TestNumberCodes for the analogous built-in working on character codes.

Inheritors

TestNumberCharsImpl

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

testNumberCharsCompleteCase

abstract fun testNumberCharsCompleteCase()

Tests the query

testNumberCharsDecimalNumber

abstract fun testNumberCharsDecimalNumber()

Tests the query

testNumberCharsInstationErrror

abstract fun testNumberCharsInstationErrror()

Tests the query

testNumberCharsListIsVar

abstract fun testNumberCharsListIsVar()

Tests the query

testNumberCharsNumIsVar

abstract fun testNumberCharsNumIsVar()

Tests the query

testNumberCharsNumNegativeIsVar

abstract fun testNumberCharsNumNegativeIsVar()

Tests the query

testNumberCharsOK

abstract fun testNumberCharsOK()

Tests the query

testNumberCharsSpace

abstract fun testNumberCharsSpace()

Tests the query