otawa::cat::CATDomain Member List

This is the complete list of members for otawa::cat::CATDomain, including all inherited members.

__max_size	otawa::dfa::BitSet	static
__total_size	otawa::dfa::BitSet	static
__used_size	otawa::dfa::BitSet	static
add(int index)	otawa::dfa::BitSet	inline
add(const BitSet &set)	otawa::dfa::BitSet	inline
BitSet(void)	otawa::dfa::BitSet	inline
BitSet(int size)	otawa::dfa::BitSet	inline
BitSet(const BitSet &set)	otawa::dfa::BitSet	inline
CATDomain(int size)	otawa::cat::CATDomain	inline
complement(void)	otawa::dfa::BitSet	inline
contains(int index) const	otawa::dfa::BitSet	inline
count(void) const	otawa::dfa::BitSet	inline
doComp(void) const	otawa::dfa::BitSet	inline
doDiff(const BitSet &set) const	otawa::dfa::BitSet	inline
doInter(const BitSet &set) const	otawa::dfa::BitSet	inline
doUnion(const BitSet &set) const	otawa::dfa::BitSet	inline
empty(void)	otawa::dfa::BitSet	inline
equals(CATDomain *d)	otawa::cat::CATDomain	inline
otawa::dfa::BitSet::equals(const BitSet &set) const	otawa::dfa::BitSet	inline
fill(void)	otawa::dfa::BitSet	inline
includes(const BitSet &set) const	otawa::dfa::BitSet	inline
includesStrictly(const BitSet &set) const	otawa::dfa::BitSet	inline
isEmpty(void) const	otawa::dfa::BitSet	inline
isFull(void) const	otawa::dfa::BitSet	inline
join(CATDomain *d)	otawa::cat::CATDomain	inline
mask(const BitSet &set)	otawa::dfa::BitSet	inline
meet(CATDomain *d)	otawa::cat::CATDomain	inline
operator!=(const BitSet &set) const	otawa::dfa::BitSet	inline
operator&(const BitSet &set)	otawa::dfa::BitSet	inline
operator&=(const BitSet &set)	otawa::dfa::BitSet	inline
operator+(const BitSet &set)	otawa::dfa::BitSet	inline
operator+=(int index)	otawa::dfa::BitSet	inline
operator+=(const BitSet &set)	otawa::dfa::BitSet	inline
operator-(const BitSet &set)	otawa::dfa::BitSet	inline
operator-=(int index)	otawa::dfa::BitSet	inline
operator-=(const BitSet &set)	otawa::dfa::BitSet	inline
operator<(const BitSet &set) const	otawa::dfa::BitSet	inline
operator<=(const BitSet &set) const	otawa::dfa::BitSet	inline
operator=(const BitSet &set)	otawa::dfa::BitSet	inline
operator==(const BitSet &set) const	otawa::dfa::BitSet	inline
operator>(const BitSet &set) const	otawa::dfa::BitSet	inline
operator>=(const BitSet &set) const	otawa::dfa::BitSet	inline
operator|(const BitSet &set)	otawa::dfa::BitSet	inline
operator|=(const BitSet &set)	otawa::dfa::BitSet	inline
remove(int index)	otawa::dfa::BitSet	inline
remove(const BitSet &set)	otawa::dfa::BitSet	inline
reset(void)	otawa::cat::CATDomain	inline
size(void) const	otawa::dfa::BitSet	inline
~BitSet(void)	otawa::dfa::BitSet	inline