Examples
User documentation
A value of type VerificationLevel
is intended to be used to
specify the level of verification to be applied to the result of a
heuristic algorithm; the level is a non-negative integer. The
VerificationLevel
may also indicate that a guaranteed-correct
algorithm is to be used (if the implementation offers one). The exact
interpretation of the VerificationLevel
depends on the specific
algorithm.
Constructors and pseudo-constructors
VerificationLevel(n)
wheren
is a non-negative integer (currentlyn
must be less than 1000)guaranteed()
returns a special value of typeVerificationLevel
intended to indicate that a guaranteed algorithm must be used
Queries and views
Let vl
be an object of type VerificationLevel
.
level(vl)
returns the level specified whenvl
was created; result is negative ifvl
was created byguaranteed()
.IsGuaranteed(vl)
returnstrue
ifvl
was created byguaranteed()
; otherwise returnsfalse
.
Maintainer documentation
The first implementation is designed to be especially simple. Future experience may help us produce a better design.
Bugs, shortcomings and other ideas
Should there be an upper limit?
JAA does not like the name IsGuaranteed
.
Main changes
2018
- March (v0.99570): first release