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

TestInteger

Conformance tests for the ISO integer/1 type-checking built-in, shared by every Solver implementation via the TestInteger.prototype(solverFactory) factory (see TestClassicInteger 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

testIntAtom

abstract fun testIntAtom()

Tests the query

testIntDecNum

abstract fun testIntDecNum()

Tests the query

testIntNegativeNum

abstract fun testIntNegativeNum()

Tests the query

testIntPositiveNum

abstract fun testIntPositiveNum()

Tests the query

testIntX

abstract fun testIntX()

Tests the query