Theories
[Validity Checker]

Collaboration diagram for Theories:

Theories. More...

Modules

• Abstract Theory Interface

  Abstract Theory Interface.
  

Classes

• class CVCL::Theory

  Base class for theories. More...
  

• class CVCL::Theory

  Base class for theories. More...
  

• class CVCL::TheoryArith

  This theory handles basic linear arithmetic. More...
  

• class CVCL::TheoryArray

  This theory handles arrays. More...
  

• class CVCL::TheoryBitvector

  Theory of bitvectors of known length \ (operations include: @,[i:j],[i],+,.,BVAND,BVNEG). More...
  

• class CVCL::TheoryCore

  This theory handles the built-in logical connectives plus equality. It also handles the registration and cooperation among all other theories. More...
  

• class CVCL::TheoryDatatype

  This theory handles datatypes. More...
  

• class CVCL::TheoryDatatypeLazy

  This theory handles datatypes. More...
  

• class CVCL::TheoryQuant

  This theory handles quantifiers. More...
  

• class CVCL::TheoryRecords

  This theory handles records. More...
  

• class CVCL::TheorySimulate

  "Theory" of symbolic simulation. More...
  

• class CVCL::TheoryUF

  This theory handles uninterpreted functions. More...
  

---

Detailed Description

Theories.

---