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

TestSolutionPresentationImpl

class TestSolutionPresentationImpl(solverFactory: SolverFactory) : TestSolutionPresentation

Concrete implementation of TestSolutionPresentation, instantiated via TestSolutionPresentation.prototype.

Constructors

TestSolutionPresentationImpl

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

testSolutionWithDandlingVars

open override fun testSolutionWithDandlingVars()

Tests the query