BitVector.h

Go to the documentation of this file.

//===- BitVector.h -- variably sized bit vector data structure ------------//
 
/*
 * BitVector.h
 *
 * Contiguous bit vector with trailing 0s stripped.
 *
 *  Created on: Jul 4, 2021
 *      Author: Mohamad Barbar
 */
 
#ifndef BITVECTOR_H_
#define BITVECTOR_H_
 
#include <Util/CoreBitVector.h>
 
namespace SVF
{
 
class BitVector : public CoreBitVector
{
public:
    BitVector(void);
 
    BitVector(size_t n);
 
    BitVector(const BitVector &bv);
 
    BitVector(BitVector &&bv);
 
    BitVector &operator=(const BitVector &rhs);
 
    BitVector &operator=(BitVector &&rhs);
};
 
};  // namespace SVF
 
#endif  // BITVECTOR_H_