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

TestCharCodeImpl

class TestCharCodeImpl(solverFactory: SolverFactory) : TestCharCode

Concrete implementation of TestCharCode, instantiated via TestCharCode.prototype.

Constructors

TestCharCodeImpl

constructor(solverFactory: SolverFactory)

Properties

open val longDuration: TimeDuration

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

open val mediumDuration: TimeDuration

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

open val shortDuration: TimeDuration

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

Functions

testCharCodeFails

open override fun testCharCodeFails()

Tests the queries

testCharCodeFirstIsVar

open override fun testCharCodeFirstIsVar()

Tests the queries

testCharCodeSecondIsVar

open override fun testCharCodeSecondIsVar()

Tests the queries

testCharCodeTypeError

open override fun testCharCodeTypeError()

Tests the queries