diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-02-19 20:29:58 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-02-19 20:29:58 +0000 |
commit | ce0e796ad92f040fb75435bd7880bc28a60b0374 (patch) | |
tree | 00a390f0347a30978b482cbbb6e074c6dc5a99d2 /src/expr/attribute.cpp | |
parent | 34b455b1d74fdc06dd2f874fa2bc8d73127fbedf (diff) |
* Attribute infrastructure -- static design. Documentation is coming.
See test/unit/expr/node_white.h for use examples, including how to
define new attribute kinds.
Also:
* fixes to test infrastructure
* minor changes to code formatting throughout
* attribute tests in test/unit/expr/node_white.h
* fixes to NodeManagerScope ordering
* use NodeValue::getKind() to properly deal with UNDEFINED_KIND
(removing compiler warning)
* ExprManager: add proper NodeManagerScope to public-facing member
functions
* store variable names and types in attributes
* SoftNode is a placeholder, not a real implementation
Diffstat (limited to 'src/expr/attribute.cpp')
-rw-r--r-- | src/expr/attribute.cpp | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/src/expr/attribute.cpp b/src/expr/attribute.cpp new file mode 100644 index 000000000..ea672b514 --- /dev/null +++ b/src/expr/attribute.cpp @@ -0,0 +1,30 @@ +/********************* -*- C++ -*- */ +/** attribute.cpp + ** Original author: mdeters + ** Major contributors: none + ** Minor contributors (to current version): none + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009, 2010 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. + ** + ** Node attributes. + **/ + +#include "expr/attribute.h" + +#include <string> + +using std::string; + +namespace CVC4 { +namespace expr { +namespace attr { + +unsigned BitAssignment::s_bit = 0; + +}/* CVC4::expr::attr namespace */ +}/* CVC4::expr namespace */ +}/* CVC4 namespace */ |