A few other cleanups
This commit is contained in:
Greg Landrum
2014-02-06 06:43:28 +01:00
parent f89f65e16d
commit 9f4471f872
24 changed files with 86 additions and 138 deletions

View File

@@ -130,13 +130,14 @@ ExplicitBitVect::ExplicitBitVect(const char *data,const unsigned int dataLen)
void ExplicitBitVect::_initForSize(unsigned int size) {
d_size = size;
if(dp_bits) delete dp_bits;
delete dp_bits;
dp_bits = new boost::dynamic_bitset<>(size);
d_numOnBits=0;
};
ExplicitBitVect::~ExplicitBitVect() {
if(dp_bits) delete dp_bits;
delete dp_bits;
dp_bits=NULL;
};
std::string