Commit to fix bug 241 (improper "using namespace std" in a header). This caused...
authorMorgan Deters <mdeters@gmail.com>
Sat, 26 Feb 2011 22:19:47 +0000 (22:19 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 26 Feb 2011 22:19:47 +0000 (22:19 +0000)
commit3548c7e5f6afed4e07bf9a70f0403952c9262519
tree18f5ae49fe1ecdc9f3254074df0990dc1930fbf2
parentedf6aaa87da179948e6b233d16fa37d2aea58bbb
Commit to fix bug 241 (improper "using namespace std" in a header).  This caused a number of latent errors in sources and headers to come up.  Those are now fixed (by adding "using" or "std::" depending on the context).  Took the opportunity to bring many rewriter sources in line with coding conventions.
22 files changed:
contrib/update-copyright.pl
src/prop/minisat/core/Solver.cc
src/theory/arith/arith_rewriter.cpp
src/theory/arith/arith_rewriter.h
src/theory/arith/row_vector.cpp
src/theory/arith/row_vector.h
src/theory/arith/tableau.cpp
src/theory/arrays/theory_arrays_rewriter.h
src/theory/booleans/theory_bool_rewriter.cpp
src/theory/booleans/theory_bool_rewriter.h
src/theory/builtin/theory_builtin_rewriter.cpp
src/theory/builtin/theory_builtin_rewriter.h
src/theory/bv/cd_set_collection.h
src/theory/bv/slice_manager.h
src/theory/bv/theory_bv.cpp
src/theory/bv/theory_bv_rewrite_rules_core.h
src/theory/bv/theory_bv_rewriter.cpp
src/theory/bv/theory_bv_rewriter.h
src/theory/rewriter.cpp
src/theory/uf/morgan/union_find.h
src/theory/uf/theory_uf_rewriter.h
src/util/configuration_private.h