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

TestAtomChars

interface TestAtomChars : SolverTest

Conformance tests for the ISO atom_chars/2 built-in, shared by every Solver implementation via the TestAtomChars.prototype(solverFactory) factory (see TestClassicAtomChars in :solve-classic for a concrete usage).

Inheritors

Types

Link copied to clipboard
object Companion

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
abstract fun atomCharsTestEmpty()

Tests the queries

Link copied to clipboard
abstract fun atomCharsTestFailure()

Tests the queries

Link copied to clipboard
abstract fun atomCharsTestFirstIsVar()

Tests the queries

Link copied to clipboard
abstract fun atomCharsTestIstantationErrorCheck()

Tests the queries

Link copied to clipboard
abstract fun atomCharsTestListHead()

Tests the queries

Link copied to clipboard
abstract fun atomCharsTestOneCharIsVar()

Tests the queries

Link copied to clipboard
abstract fun atomCharsTestTypeErrorCheck()

Tests the queries

Link copied to clipboard
abstract fun atomCharsTestYes()

Tests the queries

Generated by Dokka
© 2026 Copyright