The library interface of the validity checker (class ValidityChecker). More...
The library interface of the validity checker (class ValidityChecker).