replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

miniBDD lint-cleaning: Do not use namespaces

This commit is contained in:
Michael Tautschnig 2016-12-22 08:31:55 +01:00 committed by Michael Tautschnig
parent 5a2c1d78a1
commit d55758e2e8
4 changed files with 0 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/solvers/miniBDD/miniBDD.cpp
View File

@ -16,9 +16,6 @@ Author: Daniel Kroening, kroening@kroening.com
#define forall_nodes(it) for(nodest::const_iterator it=nodes.begin(); \ #define forall_nodes(it) for(nodest::const_iterator it=nodes.begin(); \
it!=nodes.end(); it++) it!=nodes.end(); it++)
namespace miniBDD
{
void node::remove_reference() void node::remove_reference()
{ {
assert(reference_counter!=0); assert(reference_counter!=0);
@ -470,5 +467,3 @@ bool OneSat(const BDD &v, std::map<unsigned, bool> &assignment)
return OneSat(v.low(), assignment); return OneSat(v.low(), assignment);
} }
} }
} // namespace miniBDD

5
src/solvers/miniBDD/miniBDD.h
View File

@ -24,9 +24,6 @@ Author: Daniel Kroening, kroening@kroening.com
#include <string> #include <string>
#include <stack> #include <stack>
namespace miniBDD
{
class BDD class BDD
{ {
public: public:
@ -137,8 +134,6 @@ BDD substitute(const BDD &where, unsigned var, const BDD &by_what);
std::string cubes(const BDD &u); std::string cubes(const BDD &u);
bool OneSat(const BDD &v, std::map<unsigned, bool> &assignment); bool OneSat(const BDD &v, std::map<unsigned, bool> &assignment);
} // namespace miniBDD
// inline functions // inline functions
#include "miniBDD.inc" #include "miniBDD.inc"

5
src/solvers/miniBDD/miniBDD.inc
View File

@ -2,9 +2,6 @@
// inline functions // inline functions
namespace miniBDD
{
BDD::BDD():node(0) BDD::BDD():node(0)
{ {
} }
@ -129,5 +126,3 @@ std::size_t mgr::number_of_nodes()
{ {
return nodes.size()-free.size(); return nodes.size()-free.size();
} }
} // namespace miniBDD

2
unit/miniBDD.cpp
View File

@ -11,8 +11,6 @@ Author: Daniel Kroening, kroening@kroening.com
#include <solvers/miniBDD/miniBDD.h> #include <solvers/miniBDD/miniBDD.h>
using namespace miniBDD;
void test1() void test1()
{ {
mgr mgr; mgr mgr;