/*
 * BitVec.cpp
 *
 */

#include "BitVec.h"