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

TestIs

Conformance tests for the ISO is/2 arithmetic-evaluation built-in, shared by every Solver implementation via the TestIs.prototype(solverFactory) factory (see TestClassicIs 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

testIsFoo

abstract fun testIsFoo()

Tests the queries

testIsNNumber

abstract fun testIsNNumber()

Tests the queries

testIsNumberFoo

abstract fun testIsNumberFoo()

Tests the queries

testIsResult

abstract fun testIsResult()

Tests the queries

testIsXFloat

abstract fun testIsXFloat()

Tests the queries

testIsXY

abstract fun testIsXY()

Tests the queries