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

TestOnce

Conformance tests for the ISO once/1 built-in, shared by every Solver implementation via the TestOnce.prototype(solverFactory) factory (see TestClassicOnce in :solve-classic for a concrete usage).

Types

Companion

object Companion

Properties

errorSignature

abstract val errorSignature: Signature

The Signature expected in errors raised while resolving the goal passed to once/1.

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

testOnceCut

abstract fun testOnceCut()

Tests the queries

testOnceCutOr

abstract fun testOnceCutOr()

Tests the queries

testOnceFail

abstract fun testOnceFail()

Tests the queries

testOnceNum

abstract fun testOnceNum()

Tests the queries

testOnceRepeat

abstract fun testOnceRepeat()

Tests the queries

testOnceX

abstract fun testOnceX()

Tests the queries