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

TestNonVar

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

testNonVar

abstract fun testNonVar()

Tests the query

testNonVarAnyTerm

abstract fun testNonVarAnyTerm()

Tests the query

testNonVarFoo

abstract fun testNonVarFoo()

Tests the query

testNonVarFooAssignment

abstract fun testNonVarFooAssignment()

Tests the query

testNonVarFooCl

abstract fun testNonVarFooCl()

Tests the query

testNonVarNumber

abstract fun testNonVarNumber()

Tests the query