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

TestNotUnify

interface TestNotUnify : SolverTest

Conformance tests for \=/2 (unifiability check without binding, "does not unify"), shared by every Solver implementation via the TestNotUnify.prototype(solverFactory) factory (see TestClassicNotUnify in :solve-classic for a concrete usage). See also TestUnify 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

testDecNumberNotUnify

abstract fun testDecNumberNotUnify()

Tests the query

testDiffNumberNotUnify

abstract fun testDiffNumberNotUnify()

Tests the query

testDoubleNotUnify

abstract fun testDoubleNotUnify()

Tests the query

testFDefNotUnify

abstract fun testFDefNotUnify()

Tests the query

testFMultipleTermNotUnify

abstract fun testFMultipleTermNotUnify()

Tests the query

abstract fun testFNotUnify()

Tests the query

testGNotUnifyFX

abstract fun testGNotUnifyFX()

Tests the query

testNumberNotUnify

abstract fun testNumberNotUnify()

Tests the query

testNumberXNotUnify

abstract fun testNumberXNotUnify()

Tests the query

abstract fun testXYNotUnify()

Tests the query