TestNotProvableImpl

Concrete implementation of TestNotProvable, instantiated via TestNotProvable.prototype.

Constructors

constructor(solverFactory: SolverFactory, errorSignature: Signature)

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

A long test max duration, four times mediumDuration; used for queries involving deeper search or recursion.

A medium test max duration, twice shortDuration; used for queries involving a handful of resolution steps.

A short test max duration, used for queries expected to resolve almost immediately.

open override fun testNPCut()

Tests the queries

open override fun testNPCutFail()

Tests the queries

open override fun testNPEquals()

Tests the queries

open override fun testNPNum()

Tests the queries

open override fun testNPTrue()

Tests the queries

open override fun testNPX()

Tests the queries

open override fun testOrNotCutFail()

Tests the queries