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

TestCopyTerm

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

Inheritors

TestCopyTermImpl

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

testCopyAA

abstract fun testCopyAA()

Tests the queries

testCopyAB

abstract fun testCopyAB()

Tests the queries

testCopyAnyA

abstract fun testCopyAnyA()

Tests the queries

testCopyAnyAny

abstract fun testCopyAnyAny()

Tests the queries

testCopyF

abstract fun testCopyF()

Tests the queries

testCopySum

abstract fun testCopySum()

Tests the queries

testCopyTripleSum

abstract fun testCopyTripleSum()

Tests the queries

testCopyXNum

abstract fun testCopyXNum()

Tests the queries

testDoubleCopy

abstract fun testDoubleCopy()

Tests the queries