vcl.h File Reference

Main implementation of ValidityChecker for CVC3. More...

#include <queue>
#include "vc.h"
#include "command_line_flags.h"
#include "statistics.h"
#include "cdmap.h"
#include "cdlist.h"

Go to the source code of this file.

Classes

• class CVC3::VCL
• class CVC3::VCL::UserAssertion

  Structure to hold user assertions indexed by declaration order. More...
  

Namespaces

• namespace CVC3

---

Detailed Description

Main implementation of ValidityChecker for CVC3.

Author: Clark Barrett

Created: Wed Dec 11 14:40:39 2002

---

License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.

---

Definition in file vcl.h.