diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-08-02 21:40:02 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-08-02 21:40:02 +0000 |
commit | 4cb370f81f0dcc1db56f981f46a7fb16f705d844 (patch) | |
tree | 5a2ae47cfd093228c430b7cba288188576fa05b5 /src/util/array_store_all.cpp | |
parent | 410688d57a92d5ff3505ad70c4573955e4075475 (diff) |
array-store-all class
Diffstat (limited to 'src/util/array_store_all.cpp')
-rw-r--r-- | src/util/array_store_all.cpp | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/src/util/array_store_all.cpp b/src/util/array_store_all.cpp new file mode 100644 index 000000000..f12112b4c --- /dev/null +++ b/src/util/array_store_all.cpp @@ -0,0 +1,32 @@ +/********************* */ +/*! \file array_store_all.cpp + ** \verbatim + ** Original author: mdeters + ** Major contributors: none + ** Minor contributors (to current version): none + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009-2012 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.\endverbatim + ** + ** \brief Representation of a constant array (an array in which the + ** element is the same for all indices) + ** + ** Representation of a constant array (an array in which the element is + ** the same for all indices). + **/ + +#include "util/array_store_all.h" +#include <iostream> + +using namespace std; + +namespace CVC4 { + +std::ostream& operator<<(std::ostream& out, const ArrayStoreAll& asa) { + return out << "__array_store_all__(" << asa.getType() << ", " << asa.getExpr() << ')'; +} + +}/* CVC4 namespace */ |