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

TestAtomCharsImpl

class TestAtomCharsImpl(solverFactory: SolverFactory) : TestAtomChars

Concrete implementation of TestAtomChars, instantiated via TestAtomChars.prototype.

Constructors

Link copied to clipboard
constructor(solverFactory: SolverFactory)

Properties

Link copied to clipboard
open val longDuration: TimeDuration

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

Link copied to clipboard
open val mediumDuration: TimeDuration

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

Link copied to clipboard
open val shortDuration: TimeDuration

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

Functions

Link copied to clipboard
open override fun atomCharsTestEmpty()

Tests the queries

Link copied to clipboard
open override fun atomCharsTestFailure()

Tests the queries

Link copied to clipboard
open override fun atomCharsTestFirstIsVar()

Tests the queries

Link copied to clipboard
open override fun atomCharsTestIstantationErrorCheck()

Tests the queries

Link copied to clipboard
open override fun atomCharsTestListHead()

Tests the queries

Link copied to clipboard
open override fun atomCharsTestOneCharIsVar()

Tests the queries

Link copied to clipboard
open override fun atomCharsTestTypeErrorCheck()

Tests the queries

Link copied to clipboard
open override fun atomCharsTestYes()

Tests the queries

Generated by Dokka
© 2026 Copyright