CVC3
Classes
Validity Checker API
Validity Checker

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

Collaboration diagram for Validity Checker API:

Classes

class  CVC3::ValidityChecker
 Generic API for a validity checker. More...
 

Detailed Description

The library interface of the validity checker (class ValidityChecker)