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

TestNotProvable

Conformance tests for \+/1 (negation as failure), shared by every Solver implementation via the TestNotProvable.prototype(solverFactory) factory (see TestClassicNotProvable in :solve-classic for a concrete usage).

Inheritors

TestNotProvableImpl

Types

Companion

object Companion

Properties

errorSignature

abstract val errorSignature: Signature

The Signature expected in errors raised while resolving the goal passed to \+/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

testNPCut

abstract fun testNPCut()

Tests the queries

testNPCutFail

abstract fun testNPCutFail()

Tests the queries

testNPEquals

abstract fun testNPEquals()

Tests the queries

testNPNum

abstract fun testNPNum()

Tests the queries

testNPTrue

abstract fun testNPTrue()

Tests the queries

testNPX

abstract fun testNPX()

Tests the queries

testOrNotCutFail

abstract fun testOrNotCutFail()

Tests the queries