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).