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)
