mCRL2
|
Functions | |
const machine_number & | zero_word () |
const machine_number & | one_word () |
const machine_number & | two_word () |
const machine_number & | three_word () |
const machine_number & | four_word () |
const machine_number & | max_word () |
bool | equals_zero_word (const std::size_t n) |
bool | equals_one_word (const std::size_t n) |
bool | equals_max_word (const std::size_t n) |
std::size_t | succ_word (const std::size_t n) |
bool | equal_word (const std::size_t n1, const std::size_t n2) |
bool | less_word (const std::size_t n1, const std::size_t n2) |
bool | less_equal_word (const std::size_t n1, const std::size_t n2) |
std::size_t | add_word (const std::size_t n1, const std::size_t n2) |
std::size_t | add_with_carry_word (const std::size_t n1, const std::size_t n2) |
bool | add_overflow_word (const std::size_t n1, const std::size_t n2) |
bool | add_with_carry_overflow_word (const std::size_t n1, const std::size_t n2) |
std::size_t | times_word (const std::size_t n1, const std::size_t n2) |
std::size_t | times_with_carry_word (const std::size_t n1, const std::size_t n2, const std::size_t n3) |
std::size_t | times_overflow_word (const std::size_t n1, const std::size_t n2) |
std::size_t | times_with_carry_overflow_word (const std::size_t n1, const std::size_t n2, std::size_t n3) |
std::size_t | minus_word (const std::size_t n1, const std::size_t n2) |
std::size_t | monus_word (const std::size_t n1, const std::size_t n2) |
std::size_t | div_word (const std::size_t n1, const std::size_t n2) |
std::size_t | mod_word (const std::size_t n1, const std::size_t n2) |
std::size_t | div_doubleword (const std::size_t n1, const std::size_t n2, const std::size_t n3) |
std::size_t | mod_doubleword (const std::size_t n1, const std::size_t n2, const std::size_t n3) |
std::size_t | div_double_doubleword (const std::size_t n1, const std::size_t n2, const std::size_t n3, const std::size_t n4) |
std::size_t | mod_double_doubleword (const std::size_t n1, const std::size_t n2, const std::size_t n3, const std::size_t n4) |
std::size_t | div_triple_doubleword (const std::size_t n1, const std::size_t n2, const std::size_t n3, const std::size_t n4, const std::size_t n5) |
std::size_t | sqrt_word (const std::size_t n) |
std::size_t | sqrt_doubleword (const std::size_t n1, const std::size_t n2) |
std::size_t | sqrt_tripleword (const std::size_t n1, const std::size_t n2, const std::size_t n3) |
std::size_t | sqrt_tripleword_overflow (const std::size_t n1, const std::size_t n2, const std::size_t n3) |
std::size_t | sqrt_quadrupleword (const std::size_t n1, const std::size_t n2, const std::size_t n3, const std::size_t n4) |
std::size_t | sqrt_quadrupleword_overflow (const std::size_t n1, const std::size_t n2, const std::size_t n3, const std::size_t n4) |
std::size_t | pred_word (const std::size_t n) |
void | rightmost_bit (data_expression &result, const std::size_t n) |
std::size_t | shift_right (const data_expression &e1, const std::size_t n) |
|
inline |
Definition at line 115 of file machine_word.h.
|
inline |
Definition at line 124 of file machine_word.h.
|
inline |
Definition at line 110 of file machine_word.h.
|
inline |
Definition at line 105 of file machine_word.h.
std::size_t mcrl2::data::sort_machine_word::detail::div_double_doubleword | ( | const std::size_t | n1, |
const std::size_t | n2, | ||
const std::size_t | n3, | ||
const std::size_t | n4 | ||
) |
Definition at line 62 of file machine_word.cpp.
std::size_t mcrl2::data::sort_machine_word::detail::div_doubleword | ( | const std::size_t | n1, |
const std::size_t | n2, | ||
const std::size_t | n3 | ||
) |
Definition at line 46 of file machine_word.cpp.
std::size_t mcrl2::data::sort_machine_word::detail::div_triple_doubleword | ( | const std::size_t | n1, |
const std::size_t | n2, | ||
const std::size_t | n3, | ||
const std::size_t | n4, | ||
const std::size_t | n5 | ||
) |
Definition at line 80 of file machine_word.cpp.
|
inline |
Definition at line 161 of file machine_word.h.
|
inline |
Definition at line 90 of file machine_word.h.
|
inline |
Definition at line 80 of file machine_word.h.
|
inline |
Definition at line 75 of file machine_word.h.
|
inline |
Definition at line 70 of file machine_word.h.
|
inline |
Definition at line 58 of file machine_word.h.
|
inline |
Definition at line 100 of file machine_word.h.
|
inline |
Definition at line 95 of file machine_word.h.
|
inline |
Definition at line 64 of file machine_word.h.
|
inline |
Definition at line 147 of file machine_word.h.
std::size_t mcrl2::data::sort_machine_word::detail::mod_double_doubleword | ( | const std::size_t | n1, |
const std::size_t | n2, | ||
const std::size_t | n3, | ||
const std::size_t | n4 | ||
) |
Definition at line 71 of file machine_word.cpp.
std::size_t mcrl2::data::sort_machine_word::detail::mod_doubleword | ( | const std::size_t | n1, |
const std::size_t | n2, | ||
const std::size_t | n3 | ||
) |
Definition at line 54 of file machine_word.cpp.
|
inline |
Definition at line 166 of file machine_word.h.
|
inline |
Definition at line 152 of file machine_word.h.
|
inline |
Definition at line 40 of file machine_word.h.
|
inline |
Definition at line 196 of file machine_word.h.
|
inline |
Definition at line 201 of file machine_word.h.
|
inline |
Definition at line 211 of file machine_word.h.
std::size_t mcrl2::data::sort_machine_word::detail::sqrt_doubleword | ( | const std::size_t | n1, |
const std::size_t | n2 | ||
) |
Definition at line 90 of file machine_word.cpp.
std::size_t mcrl2::data::sort_machine_word::detail::sqrt_quadrupleword | ( | const std::size_t | n1, |
const std::size_t | n2, | ||
const std::size_t | n3, | ||
const std::size_t | n4 | ||
) |
Definition at line 113 of file machine_word.cpp.
std::size_t mcrl2::data::sort_machine_word::detail::sqrt_quadrupleword_overflow | ( | const std::size_t | n1, |
const std::size_t | n2, | ||
const std::size_t | n3, | ||
const std::size_t | n4 | ||
) |
Definition at line 122 of file machine_word.cpp.
std::size_t mcrl2::data::sort_machine_word::detail::sqrt_tripleword | ( | const std::size_t | n1, |
const std::size_t | n2, | ||
const std::size_t | n3 | ||
) |
Definition at line 97 of file machine_word.cpp.
std::size_t mcrl2::data::sort_machine_word::detail::sqrt_tripleword_overflow | ( | const std::size_t | n1, |
const std::size_t | n2, | ||
const std::size_t | n3 | ||
) |
Definition at line 105 of file machine_word.cpp.
|
inline |
Definition at line 181 of file machine_word.h.
|
inline |
Definition at line 85 of file machine_word.h.
|
inline |
Definition at line 52 of file machine_word.h.
std::size_t mcrl2::data::sort_machine_word::detail::times_overflow_word | ( | const std::size_t | n1, |
const std::size_t | n2 | ||
) |
Definition at line 31 of file machine_word.cpp.
std::size_t mcrl2::data::sort_machine_word::detail::times_with_carry_overflow_word | ( | const std::size_t | n1, |
const std::size_t | n2, | ||
std::size_t | n3 | ||
) |
Definition at line 38 of file machine_word.cpp.
|
inline |
Definition at line 138 of file machine_word.h.
|
inline |
Definition at line 133 of file machine_word.h.
|
inline |
Definition at line 46 of file machine_word.h.
|
inline |
Definition at line 34 of file machine_word.h.