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

TestUnify

interface TestUnify : SolverTest

Conformance tests for =/2 (unification), shared by every Solver implementation via the TestUnify.prototype(solverFactory) factory (see TestClassicUnify in :solve-classic for a concrete usage). See also TestNotUnify for the corresponding \=/2 tests.

Types

object Companion

Properties

open val longDuration: TimeDuration

A long test max duration, four times mediumDuration; used for queries involving deeper search or recursion.

open val mediumDuration: TimeDuration

A medium test max duration, twice shortDuration; used for queries involving a handful of resolution steps.

open val shortDuration: TimeDuration

A short test max duration, used for queries expected to resolve almost immediately.

Functions

testDecNumberUnify

abstract fun testDecNumberUnify()

Tests the query

testDiffNumberUnify

abstract fun testDiffNumberUnify()

Tests the query

testDoubleUnify

abstract fun testDoubleUnify()

Tests the query

abstract fun testFDefUnify()

Tests the query

testFMultipleTermUnify

abstract fun testFMultipleTermUnify()

Tests the query

abstract fun testFUnify()

Tests the query

abstract fun testGUnifyFX()

Tests the query

testMultipleTermUnify

abstract fun testMultipleTermUnify()

Tests the query

testNumberUnify

abstract fun testNumberUnify()

Tests the query

testNumberXUnify

abstract fun testNumberXUnify()

Tests the query

abstract fun testXYUnify()

Tests the query