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

TestAtomConcatImpl

class TestAtomConcatImpl(solverFactory: SolverFactory) : TestAtomConcat

Concrete implementation of TestAtomConcat, instantiated via TestAtomConcat.prototype.

Constructors

TestAtomConcatImpl

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

testAtomConcatFails

open override fun testAtomConcatFails()

Tests the queries

testAtomConcatFailsNotPrefix

open override fun testAtomConcatFailsNotPrefix()

Tests the queries

testAtomConcatFailsNotSuffix

open override fun testAtomConcatFailsNotSuffix()

Tests the queries

testAtomConcatFirstIsVar

open override fun testAtomConcatFirstIsVar()

Tests the queries

testAtomConcatSecondIsVar

open override fun testAtomConcatSecondIsVar()

Tests the queries

testAtomConcatThirdIsVar

open override fun testAtomConcatThirdIsVar()

Tests the queries