Class BitVectorRepr#

Inheritance Relationships#

Base Type#

Class Documentation#

class BitVectorRepr : public CountRefHandle<BitVectorReprImpl>#

Public Functions

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