Class BitVectorReprImpl#

Class Documentation#

class BitVectorReprImpl#

Public Functions

inline BitVectorReprImpl(unsigned size)#
inline BitVectorReprImpl(const BitVectorReprImpl &that)#
inline ~BitVectorReprImpl()#
inline BitVectorReprImpl *Clone() const#
inline void operator|=(const BitVectorReprImpl &that)#
inline std::string toString() const#
inline void operator&=(const BitVectorReprImpl &that)#
inline void complement()#
inline bool operator==(const BitVectorReprImpl &that) const#
inline bool has_member(unsigned index) const#
inline void add_member(unsigned index)#
inline void delete_member(unsigned index)#