TestNumberCodesImpl

Concrete implementation of TestNumberCodes, instantiated via TestNumberCodes.prototype.

Constructors

constructor(solverFactory: SolverFactory)

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

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

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

open override fun testNumberCodesChar()

Tests the query

Tests the query

Tests the query

Tests the query

Tests the query

Tests the query

open override fun testNumberCodesOk()

Tests the query