diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-12-10 17:45:43 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-12-10 17:45:43 +0000 |
commit | 8b2d1d64b886db4cff74e2a7b1370841979001b2 (patch) | |
tree | 522c31719d0aff3bd0c9d42ed7eddf6ada3c4c12 /src/theory/theory.cpp | |
parent | 2f121daa042c6f25a3f9ed8ece60ac5dccb11976 (diff) |
cleanups, assert work, add a stubbed uf theory, fix driver
Diffstat (limited to 'src/theory/theory.cpp')
-rw-r--r-- | src/theory/theory.cpp | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/theory/theory.cpp b/src/theory/theory.cpp new file mode 100644 index 000000000..024d192e6 --- /dev/null +++ b/src/theory/theory.cpp @@ -0,0 +1,16 @@ +/********************* -*- C++ -*- */ +/** theory.cpp + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) + ** Courant Institute of Mathematical Sciences + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information. + ** + **/ + +#include "theory/theory.h" + +namespace CVC4 { + +}/* CVC4 namespace */ |