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

TestFunctor

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

testFunArity

abstract fun testFunArity()

Tests the queries

testFunArityWithSub

abstract fun testFunArityWithSub()

Tests the queries

testFunArityZero

abstract fun testFunArityZero()

Tests the queries

testFunConsOf

abstract fun testFunConsOf()

Tests the queries

testFunDecNum

abstract fun testFunDecNum()

Tests the queries

testFunEmptyList

abstract fun testFunEmptyList()

Tests the queries

testFunFlag

abstract fun testFunFlag()

Tests the query

testFunFooName

abstract fun testFunFooName()

Tests the query

testFunMats

abstract fun testFunMats()

Tests the queries

testFunNegativeArity

abstract fun testFunNegativeArity()

Tests the query

testFunNumName

abstract fun testFunNumName()

Tests the query

testFunWrongArity

abstract fun testFunWrongArity()

Tests the queries

testFunWrongName

abstract fun testFunWrongName()

Tests the queries

testFunXAArity

abstract fun testFunXAArity()

Tests the query

testFunXNameYArity

abstract fun testFunXNameYArity()

Tests the queries

testFunXNArity

abstract fun testFunXNArity()

Tests the query

testFunXYWrongArity

abstract fun testFunXYWrongArity()

Tests the query