TCS::Decision Member List

This is the complete list of members for TCS::Decision, including all inherited members.

ambiguity() const	TCS::Decision	inline
bit(unsigned int index) const	TCS::Decision	inline
Decision(unsigned int firstBit=0, unsigned int nBits=1)	TCS::Decision	inline
decision() const	TCS::Decision	inline
firstBit() const	TCS::Decision	inline
lastBit() const	TCS::Decision	inline
m_ambiguity	TCS::Decision	private
m_decision	TCS::Decision	private
m_firstBit	TCS::Decision	private
m_nBits	TCS::Decision	private
m_overflow	TCS::Decision	private
nBits() const	TCS::Decision	inline
overflow() const	TCS::Decision	inline
reset()	TCS::Decision	inline
setAmbiguity(bool value)	TCS::Decision	inline
setBit(unsigned int index, bool value)	TCS::Decision
setFirstBit(unsigned int startBit)	TCS::Decision	inline
setNBits(unsigned int nBits)	TCS::Decision	inline
setOverflow(bool value)	TCS::Decision	inline
~Decision()	TCS::Decision	inline