© 2018 John Abbott, Anna M. Bigatti
GNU Free Documentation License, Version 1.2

CoCoALib Documentation Index


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

Queries and views

Let vl be an object of type VerificationLevel.

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