Validity Checker API

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)