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

TestArg

Conformance tests for the ISO arg/3 built-in, shared by every Solver implementation via the TestArg.prototype(solverFactory) factory (see TestClassicArg 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

testArgAFromFoo

abstract fun testArgAFromFoo()

Tests the query

testArgFromAtom

abstract fun testArgFromAtom()

Tests the query

testArgFromFoo

abstract fun testArgFromFoo()

Tests the query

testArgFromFoo2

abstract fun testArgFromFoo2()

Tests the query

testArgFromFooInF

abstract fun testArgFromFooInF()

Tests the query

testArgFromFooInFoo

abstract fun testArgFromFooInFoo()

Tests the query

testArgFromFooInSecondTerm

abstract fun testArgFromFooInSecondTerm()

Tests the query

testArgFromFooX

abstract fun testArgFromFooX()

Tests the query

testArgFromFooY

abstract fun testArgFromFooY()

Tests the query

testArgFromNumber

abstract fun testArgFromNumber()

Tests the query

testArgNumberFromFoo

abstract fun testArgNumberFromFoo()

Tests the query

testArgNumberFromX

abstract fun testArgNumberFromX()

Tests the query

testArgXFromFoo

abstract fun testArgXFromFoo()

Tests the query

testNegativeArgFromFoo

abstract fun testNegativeArgFromFoo()

Tests the query