Fleet  0.0.9
Inference in the LOT
IntegerizedStack Member List

This is the complete list of members for IntegerizedStack, including all inherited members.

empty() constIntegerizedStackinline
get_value() constIntegerizedStackinline
IntegerizedStack(value_t v=0)IntegerizedStackinline
mod_decode(const enumerationidx_t z, const enumerationidx_t k)IntegerizedStackinlinestatic
mod_encode(const enumerationidx_t x, const enumerationidx_t y, const enumerationidx_t k)IntegerizedStackinlinestatic
mod_pop(enumerationidx_t &z, const enumerationidx_t k)IntegerizedStackinlinestatic
operator+=(value_t x)IntegerizedStackinline
operator-=(value_t x)IntegerizedStackinline
operator=(value_t z)IntegerizedStackinline
pop()IntegerizedStackinline
pop(value_t modulus)IntegerizedStackinline
push(value_t x)IntegerizedStackinline
push(value_t x, value_t modulus)IntegerizedStackinline
rosenberg_strong_decode(const enumerationidx_t z)IntegerizedStackinlinestatic
rosenberg_strong_encode(const enumerationidx_t x, const enumerationidx_t y)IntegerizedStackinlinestatic
rosenberg_strong_pop(enumerationidx_t &z)IntegerizedStackinlinestatic
split(size_t n)IntegerizedStackinline
valueIntegerizedStackprotected