mCRL2
Loading...
Searching...
No Matches
mcrl2::data::sort_machine_word::detail Namespace Reference

Functions

const machine_numberzero_word ()
 
const machine_numberone_word ()
 
const machine_numbertwo_word ()
 
const machine_numberthree_word ()
 
const machine_numberfour_word ()
 
const machine_numbermax_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)
 

Function Documentation

◆ add_overflow_word()

bool mcrl2::data::sort_machine_word::detail::add_overflow_word ( const std::size_t  n1,
const std::size_t  n2 
)
inline

Definition at line 115 of file machine_word.h.

◆ add_with_carry_overflow_word()

bool mcrl2::data::sort_machine_word::detail::add_with_carry_overflow_word ( const std::size_t  n1,
const std::size_t  n2 
)
inline

Definition at line 124 of file machine_word.h.

◆ add_with_carry_word()

std::size_t mcrl2::data::sort_machine_word::detail::add_with_carry_word ( const std::size_t  n1,
const std::size_t  n2 
)
inline

Definition at line 110 of file machine_word.h.

◆ add_word()

std::size_t mcrl2::data::sort_machine_word::detail::add_word ( const std::size_t  n1,
const std::size_t  n2 
)
inline

Definition at line 105 of file machine_word.h.

◆ div_double_doubleword()

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.

◆ div_doubleword()

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.

◆ div_triple_doubleword()

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.

◆ div_word()

std::size_t mcrl2::data::sort_machine_word::detail::div_word ( const std::size_t  n1,
const std::size_t  n2 
)
inline

Definition at line 161 of file machine_word.h.

◆ equal_word()

bool mcrl2::data::sort_machine_word::detail::equal_word ( const std::size_t  n1,
const std::size_t  n2 
)
inline

Definition at line 90 of file machine_word.h.

◆ equals_max_word()

bool mcrl2::data::sort_machine_word::detail::equals_max_word ( const std::size_t  n)
inline

Definition at line 80 of file machine_word.h.

◆ equals_one_word()

bool mcrl2::data::sort_machine_word::detail::equals_one_word ( const std::size_t  n)
inline

Definition at line 75 of file machine_word.h.

◆ equals_zero_word()

bool mcrl2::data::sort_machine_word::detail::equals_zero_word ( const std::size_t  n)
inline

Definition at line 70 of file machine_word.h.

◆ four_word()

const machine_number & mcrl2::data::sort_machine_word::detail::four_word ( )
inline

Definition at line 58 of file machine_word.h.

◆ less_equal_word()

bool mcrl2::data::sort_machine_word::detail::less_equal_word ( const std::size_t  n1,
const std::size_t  n2 
)
inline

Definition at line 100 of file machine_word.h.

◆ less_word()

bool mcrl2::data::sort_machine_word::detail::less_word ( const std::size_t  n1,
const std::size_t  n2 
)
inline

Definition at line 95 of file machine_word.h.

◆ max_word()

const machine_number & mcrl2::data::sort_machine_word::detail::max_word ( )
inline

Definition at line 64 of file machine_word.h.

◆ minus_word()

std::size_t mcrl2::data::sort_machine_word::detail::minus_word ( const std::size_t  n1,
const std::size_t  n2 
)
inline

Definition at line 147 of file machine_word.h.

◆ mod_double_doubleword()

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.

◆ mod_doubleword()

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.

◆ mod_word()

std::size_t mcrl2::data::sort_machine_word::detail::mod_word ( const std::size_t  n1,
const std::size_t  n2 
)
inline

Definition at line 166 of file machine_word.h.

◆ monus_word()

std::size_t mcrl2::data::sort_machine_word::detail::monus_word ( const std::size_t  n1,
const std::size_t  n2 
)
inline

Definition at line 152 of file machine_word.h.

◆ one_word()

const machine_number & mcrl2::data::sort_machine_word::detail::one_word ( )
inline

Definition at line 40 of file machine_word.h.

◆ pred_word()

std::size_t mcrl2::data::sort_machine_word::detail::pred_word ( const std::size_t  n)
inline

Definition at line 196 of file machine_word.h.

◆ rightmost_bit()

void mcrl2::data::sort_machine_word::detail::rightmost_bit ( data_expression result,
const std::size_t  n 
)
inline

Definition at line 201 of file machine_word.h.

◆ shift_right()

std::size_t mcrl2::data::sort_machine_word::detail::shift_right ( const data_expression e1,
const std::size_t  n 
)
inline

Definition at line 211 of file machine_word.h.

◆ sqrt_doubleword()

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.

◆ sqrt_quadrupleword()

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.

◆ sqrt_quadrupleword_overflow()

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.

◆ sqrt_tripleword()

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.

◆ sqrt_tripleword_overflow()

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.

◆ sqrt_word()

std::size_t mcrl2::data::sort_machine_word::detail::sqrt_word ( const std::size_t  n)
inline

Definition at line 181 of file machine_word.h.

◆ succ_word()

std::size_t mcrl2::data::sort_machine_word::detail::succ_word ( const std::size_t  n)
inline

Definition at line 85 of file machine_word.h.

◆ three_word()

const machine_number & mcrl2::data::sort_machine_word::detail::three_word ( )
inline

Definition at line 52 of file machine_word.h.

◆ times_overflow_word()

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.

◆ times_with_carry_overflow_word()

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.

◆ times_with_carry_word()

std::size_t mcrl2::data::sort_machine_word::detail::times_with_carry_word ( const std::size_t  n1,
const std::size_t  n2,
const std::size_t  n3 
)
inline

Definition at line 138 of file machine_word.h.

◆ times_word()

std::size_t mcrl2::data::sort_machine_word::detail::times_word ( const std::size_t  n1,
const std::size_t  n2 
)
inline

Definition at line 133 of file machine_word.h.

◆ two_word()

const machine_number & mcrl2::data::sort_machine_word::detail::two_word ( )
inline

Definition at line 46 of file machine_word.h.

◆ zero_word()

const machine_number & mcrl2::data::sort_machine_word::detail::zero_word ( )
inline

Definition at line 34 of file machine_word.h.