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

TestAtom

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

testAtomAofB

abstract fun testAtomAofB()

Tests the queries

testAtomAtom

abstract fun testAtomAtom()

Tests the queries

testAtomEmptyList

abstract fun testAtomEmptyList()

Tests the queries

testAtomNum

abstract fun testAtomNum()

Tests the queries

testAtomNumDec

abstract fun testAtomNumDec()

Tests the queries

testAtomString

abstract fun testAtomString()

Tests the queries

testAtomVar

abstract fun testAtomVar()

Tests the queries