This is the complete list of members for otawa::stack::Value, including all inherited members.

_and(const Value &val)	otawa::stack::Value
_not(void)	otawa::stack::Value
_or(const Value &val)	otawa::stack::Value
_page	otawa::stack::Value	private
_val	otawa::stack::Value	private
_xor(const Value &val)	otawa::stack::Value
add(const Value &val)	otawa::stack::Value
addr(Address a)	otawa::stack::Value	inlinestatic
all	otawa::stack::Value	static
asr(const Value &val)	otawa::stack::Value
bot	otawa::stack::Value	static
bot_id	otawa::stack::Value	privatestatic
cst(int_t k)	otawa::stack::Value	inlinestatic
div(const Value &val)	otawa::stack::Value
divu(const Value &val)	otawa::stack::Value
int_t typedef	otawa::stack::Value
isBot(void) const	otawa::stack::Value	inline
isConst(void) const	otawa::stack::Value	inline
isReg(void) const	otawa::stack::Value	inline
isSP(void) const	otawa::stack::Value	inline
isTop(void) const	otawa::stack::Value	inline
join(const Value &val)	otawa::stack::Value
kind(void) const	otawa::stack::Value
mod(const Value &val)	otawa::stack::Value
modu(const Value &val)	otawa::stack::Value
mul(const Value &val)	otawa::stack::Value
mulh(const Value &val)	otawa::stack::Value
neg(void)	otawa::stack::Value
none	otawa::stack::Value	static
operator!=(const Value &val) const	otawa::stack::Value	inline
operator<(const Value &val) const	otawa::stack::Value	inline
operator=(const Value &val)	otawa::stack::Value	inline
operator==(const Value &val) const	otawa::stack::Value	inline
page_t typedef	otawa::stack::Value	private
print(io::Output &out) const	otawa::stack::Value
reg(int n)	otawa::stack::Value	inlinestatic
set(page_t kind, int_t value)	otawa::stack::Value	inlineprivate
shl(const Value &val)	otawa::stack::Value
shr(const Value &val)	otawa::stack::Value
signed_t typedef	otawa::stack::Value
sp(int_t off)	otawa::stack::Value	inlinestatic
sp_page	otawa::stack::Value	privatestatic
spec_page	otawa::stack::Value	privatestatic
sub(const Value &val)	otawa::stack::Value
top	otawa::stack::Value	static
top_id	otawa::stack::Value	privatestatic
upper_t typedef	otawa::stack::Value
value(void) const	otawa::stack::Value	inline
Value(page_t page, int_t val=0)	otawa::stack::Value	inlineprivate
Value(void)	otawa::stack::Value	inline
Value(kind_t k, int_t v=0)	otawa::stack::Value