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

TestCharCode

Conformance tests for the ISO char_code/2 built-in, shared by every Solver implementation via the TestCharCode.prototype(solverFactory) factory (see TestClassicCharCode in :solve-classic for a concrete usage).

Contained requests:

?- char_code(a,X).
?- char_code(X,97).
?- char_code(X,a).
?- char_code(g,104).

Inheritors

TestCharCodeImpl

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

testCharCodeFails

abstract fun testCharCodeFails()

Tests the queries

testCharCodeFirstIsVar

abstract fun testCharCodeFirstIsVar()

Tests the queries

testCharCodeSecondIsVar

abstract fun testCharCodeSecondIsVar()

Tests the queries

testCharCodeTypeError

abstract fun testCharCodeTypeError()

Tests the queries