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

TestNumber

Conformance tests for the ISO number/1 type-checking built-in, shared by every Solver implementation via the TestNumber.prototype(solverFactory) factory (see TestClassicNumber in :solve-classic for a concrete usage).

Types

Companion

object Companion

Properties

longDuration

open val longDuration: TimeDuration

A long test max duration, four times mediumDuration; used for queries involving deeper search or recursion.

mediumDuration

open val mediumDuration: TimeDuration

A medium test max duration, twice shortDuration; used for queries involving a handful of resolution steps.

shortDuration

open val shortDuration: TimeDuration

A short test max duration, used for queries expected to resolve almost immediately.

Functions

testBasicNum

abstract fun testBasicNum()

Tests the query

testDecNum

abstract fun testDecNum()

Tests the query

testLetterNum

abstract fun testLetterNum()

Tests the query

testNegNum

abstract fun testNegNum()

Tests the query

testXNum

abstract fun testXNum()

Tests the query