|
const core::identifier_string & | nat_name () |
|
const basic_sort & | nat () |
| Constructor for sort expression Nat.
|
|
bool | is_nat (const sort_expression &e) |
| Recogniser for sort expression Nat.
|
|
const core::identifier_string & | natpair_name () |
|
const basic_sort & | natpair () |
| Constructor for sort expression @NatPair.
|
|
bool | is_natpair (const sort_expression &e) |
| Recogniser for sort expression @NatPair.
|
|
const core::identifier_string & | c0_name () |
| Generate identifier @c0.
|
|
const function_symbol & | c0 () |
| Constructor for function symbol @c0.
|
|
bool | is_c0_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @c0.
|
|
const core::identifier_string & | cnat_name () |
| Generate identifier @cNat.
|
|
const function_symbol & | cnat () |
| Constructor for function symbol @cNat.
|
|
bool | is_cnat_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @cNat.
|
|
application | cnat (const data_expression &arg0) |
| Application of function symbol @cNat.
|
|
void | make_cnat (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol @cNat.
|
|
bool | is_cnat_application (const atermpp::aterm &e) |
| Recogniser for application of @cNat.
|
|
const core::identifier_string & | cpair_name () |
| Generate identifier @cPair.
|
|
const function_symbol & | cpair () |
| Constructor for function symbol @cPair.
|
|
bool | is_cpair_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @cPair.
|
|
application | cpair (const data_expression &arg0, const data_expression &arg1) |
| Application of function symbol @cPair.
|
|
void | make_cpair (data_expression &result, const data_expression &arg0, const data_expression &arg1) |
| Make an application of function symbol @cPair.
|
|
bool | is_cpair_application (const atermpp::aterm &e) |
| Recogniser for application of @cPair.
|
|
function_symbol_vector | nat_generate_constructors_code () |
| Give all system defined constructors for nat.
|
|
function_symbol_vector | nat_mCRL2_usable_constructors () |
| Give all defined constructors which can be used in mCRL2 specs for nat.
|
|
implementation_map | nat_cpp_implementable_constructors () |
| Give all system defined constructors which have an implementation in C++ and not in rewrite rules for nat.
|
|
const core::identifier_string & | pos2nat_name () |
| Generate identifier Pos2Nat.
|
|
const function_symbol & | pos2nat () |
| Constructor for function symbol Pos2Nat.
|
|
bool | is_pos2nat_function_symbol (const atermpp::aterm &e) |
| Recogniser for function Pos2Nat.
|
|
application | pos2nat (const data_expression &arg0) |
| Application of function symbol Pos2Nat.
|
|
void | make_pos2nat (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol Pos2Nat.
|
|
bool | is_pos2nat_application (const atermpp::aterm &e) |
| Recogniser for application of Pos2Nat.
|
|
const core::identifier_string & | nat2pos_name () |
| Generate identifier Nat2Pos.
|
|
const function_symbol & | nat2pos () |
| Constructor for function symbol Nat2Pos.
|
|
bool | is_nat2pos_function_symbol (const atermpp::aterm &e) |
| Recogniser for function Nat2Pos.
|
|
application | nat2pos (const data_expression &arg0) |
| Application of function symbol Nat2Pos.
|
|
void | make_nat2pos (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol Nat2Pos.
|
|
bool | is_nat2pos_application (const atermpp::aterm &e) |
| Recogniser for application of Nat2Pos.
|
|
const core::identifier_string & | maximum_name () |
| Generate identifier max.
|
|
function_symbol | maximum (const sort_expression &s0, const sort_expression &s1) |
|
bool | is_maximum_function_symbol (const atermpp::aterm &e) |
| Recogniser for function max.
|
|
application | maximum (const data_expression &arg0, const data_expression &arg1) |
| Application of function symbol max.
|
|
void | make_maximum (data_expression &result, const data_expression &arg0, const data_expression &arg1) |
| Make an application of function symbol max.
|
|
bool | is_maximum_application (const atermpp::aterm &e) |
| Recogniser for application of max.
|
|
const core::identifier_string & | minimum_name () |
| Generate identifier min.
|
|
function_symbol | minimum (const sort_expression &s0, const sort_expression &s1) |
|
bool | is_minimum_function_symbol (const atermpp::aterm &e) |
| Recogniser for function min.
|
|
application | minimum (const data_expression &arg0, const data_expression &arg1) |
| Application of function symbol min.
|
|
void | make_minimum (data_expression &result, const data_expression &arg0, const data_expression &arg1) |
| Make an application of function symbol min.
|
|
bool | is_minimum_application (const atermpp::aterm &e) |
| Recogniser for application of min.
|
|
const core::identifier_string & | succ_name () |
| Generate identifier succ.
|
|
function_symbol | succ (const sort_expression &s0) |
|
bool | is_succ_function_symbol (const atermpp::aterm &e) |
| Recogniser for function succ.
|
|
application | succ (const data_expression &arg0) |
| Application of function symbol succ.
|
|
void | make_succ (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol succ.
|
|
bool | is_succ_application (const atermpp::aterm &e) |
| Recogniser for application of succ.
|
|
const core::identifier_string & | pred_name () |
| Generate identifier pred.
|
|
const function_symbol & | pred () |
| Constructor for function symbol pred.
|
|
bool | is_pred_function_symbol (const atermpp::aterm &e) |
| Recogniser for function pred.
|
|
application | pred (const data_expression &arg0) |
| Application of function symbol pred.
|
|
void | make_pred (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol pred.
|
|
bool | is_pred_application (const atermpp::aterm &e) |
| Recogniser for application of pred.
|
|
const core::identifier_string & | dub_name () |
| Generate identifier @dub.
|
|
const function_symbol & | dub () |
| Constructor for function symbol @dub.
|
|
bool | is_dub_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @dub.
|
|
application | dub (const data_expression &arg0, const data_expression &arg1) |
| Application of function symbol @dub.
|
|
void | make_dub (data_expression &result, const data_expression &arg0, const data_expression &arg1) |
| Make an application of function symbol @dub.
|
|
bool | is_dub_application (const atermpp::aterm &e) |
| Recogniser for application of @dub.
|
|
const core::identifier_string & | dubsucc_name () |
| Generate identifier @dubsucc.
|
|
const function_symbol & | dubsucc () |
| Constructor for function symbol @dubsucc.
|
|
bool | is_dubsucc_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @dubsucc.
|
|
application | dubsucc (const data_expression &arg0) |
| Application of function symbol @dubsucc.
|
|
void | make_dubsucc (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol @dubsucc.
|
|
bool | is_dubsucc_application (const atermpp::aterm &e) |
| Recogniser for application of @dubsucc.
|
|
const core::identifier_string & | plus_name () |
| Generate identifier +.
|
|
function_symbol | plus (const sort_expression &s0, const sort_expression &s1) |
|
bool | is_plus_function_symbol (const atermpp::aterm &e) |
| Recogniser for function +.
|
|
application | plus (const data_expression &arg0, const data_expression &arg1) |
| Application of function symbol +.
|
|
void | make_plus (data_expression &result, const data_expression &arg0, const data_expression &arg1) |
| Make an application of function symbol +.
|
|
bool | is_plus_application (const atermpp::aterm &e) |
| Recogniser for application of +.
|
|
const core::identifier_string & | gte_subtract_with_borrow_name () |
| Generate identifier @gtesubtb.
|
|
const function_symbol & | gte_subtract_with_borrow () |
| Constructor for function symbol @gtesubtb.
|
|
bool | is_gte_subtract_with_borrow_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @gtesubtb.
|
|
application | gte_subtract_with_borrow (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Application of function symbol @gtesubtb.
|
|
void | make_gte_subtract_with_borrow (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Make an application of function symbol @gtesubtb.
|
|
bool | is_gte_subtract_with_borrow_application (const atermpp::aterm &e) |
| Recogniser for application of @gtesubtb.
|
|
const core::identifier_string & | times_name () |
| Generate identifier *.
|
|
function_symbol | times (const sort_expression &s0, const sort_expression &s1) |
|
bool | is_times_function_symbol (const atermpp::aterm &e) |
| Recogniser for function *.
|
|
application | times (const data_expression &arg0, const data_expression &arg1) |
| Application of function symbol *.
|
|
void | make_times (data_expression &result, const data_expression &arg0, const data_expression &arg1) |
| Make an application of function symbol *.
|
|
bool | is_times_application (const atermpp::aterm &e) |
| Recogniser for application of *.
|
|
const core::identifier_string & | div_name () |
| Generate identifier div.
|
|
const function_symbol & | div () |
| Constructor for function symbol div.
|
|
bool | is_div_function_symbol (const atermpp::aterm &e) |
| Recogniser for function div.
|
|
application | div (const data_expression &arg0, const data_expression &arg1) |
| Application of function symbol div.
|
|
void | make_div (data_expression &result, const data_expression &arg0, const data_expression &arg1) |
| Make an application of function symbol div.
|
|
bool | is_div_application (const atermpp::aterm &e) |
| Recogniser for application of div.
|
|
const core::identifier_string & | mod_name () |
| Generate identifier mod.
|
|
const function_symbol & | mod () |
| Constructor for function symbol mod.
|
|
bool | is_mod_function_symbol (const atermpp::aterm &e) |
| Recogniser for function mod.
|
|
application | mod (const data_expression &arg0, const data_expression &arg1) |
| Application of function symbol mod.
|
|
void | make_mod (data_expression &result, const data_expression &arg0, const data_expression &arg1) |
| Make an application of function symbol mod.
|
|
bool | is_mod_application (const atermpp::aterm &e) |
| Recogniser for application of mod.
|
|
const core::identifier_string & | exp_name () |
| Generate identifier exp.
|
|
function_symbol | exp (const sort_expression &s0, const sort_expression &s1) |
|
bool | is_exp_function_symbol (const atermpp::aterm &e) |
| Recogniser for function exp.
|
|
application | exp (const data_expression &arg0, const data_expression &arg1) |
| Application of function symbol exp.
|
|
void | make_exp (data_expression &result, const data_expression &arg0, const data_expression &arg1) |
| Make an application of function symbol exp.
|
|
bool | is_exp_application (const atermpp::aterm &e) |
| Recogniser for application of exp.
|
|
const core::identifier_string & | even_name () |
| Generate identifier @even.
|
|
const function_symbol & | even () |
| Constructor for function symbol @even.
|
|
bool | is_even_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @even.
|
|
application | even (const data_expression &arg0) |
| Application of function symbol @even.
|
|
void | make_even (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol @even.
|
|
bool | is_even_application (const atermpp::aterm &e) |
| Recogniser for application of @even.
|
|
const core::identifier_string & | monus_name () |
| Generate identifier @monus.
|
|
const function_symbol & | monus () |
| Constructor for function symbol @monus.
|
|
bool | is_monus_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @monus.
|
|
application | monus (const data_expression &arg0, const data_expression &arg1) |
| Application of function symbol @monus.
|
|
void | make_monus (data_expression &result, const data_expression &arg0, const data_expression &arg1) |
| Make an application of function symbol @monus.
|
|
bool | is_monus_application (const atermpp::aterm &e) |
| Recogniser for application of @monus.
|
|
const core::identifier_string & | swap_zero_name () |
| Generate identifier @swap_zero.
|
|
const function_symbol & | swap_zero () |
| Constructor for function symbol @swap_zero.
|
|
bool | is_swap_zero_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @swap_zero.
|
|
application | swap_zero (const data_expression &arg0, const data_expression &arg1) |
| Application of function symbol @swap_zero.
|
|
void | make_swap_zero (data_expression &result, const data_expression &arg0, const data_expression &arg1) |
| Make an application of function symbol @swap_zero.
|
|
bool | is_swap_zero_application (const atermpp::aterm &e) |
| Recogniser for application of @swap_zero.
|
|
const core::identifier_string & | swap_zero_add_name () |
| Generate identifier @swap_zero_add.
|
|
const function_symbol & | swap_zero_add () |
| Constructor for function symbol @swap_zero_add.
|
|
bool | is_swap_zero_add_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @swap_zero_add.
|
|
application | swap_zero_add (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Application of function symbol @swap_zero_add.
|
|
void | make_swap_zero_add (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Make an application of function symbol @swap_zero_add.
|
|
bool | is_swap_zero_add_application (const atermpp::aterm &e) |
| Recogniser for application of @swap_zero_add.
|
|
const core::identifier_string & | swap_zero_min_name () |
| Generate identifier @swap_zero_min.
|
|
const function_symbol & | swap_zero_min () |
| Constructor for function symbol @swap_zero_min.
|
|
bool | is_swap_zero_min_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @swap_zero_min.
|
|
application | swap_zero_min (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Application of function symbol @swap_zero_min.
|
|
void | make_swap_zero_min (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Make an application of function symbol @swap_zero_min.
|
|
bool | is_swap_zero_min_application (const atermpp::aterm &e) |
| Recogniser for application of @swap_zero_min.
|
|
const core::identifier_string & | swap_zero_monus_name () |
| Generate identifier @swap_zero_monus.
|
|
const function_symbol & | swap_zero_monus () |
| Constructor for function symbol @swap_zero_monus.
|
|
bool | is_swap_zero_monus_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @swap_zero_monus.
|
|
application | swap_zero_monus (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Application of function symbol @swap_zero_monus.
|
|
void | make_swap_zero_monus (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Make an application of function symbol @swap_zero_monus.
|
|
bool | is_swap_zero_monus_application (const atermpp::aterm &e) |
| Recogniser for application of @swap_zero_monus.
|
|
const core::identifier_string & | sqrt_name () |
| Generate identifier sqrt.
|
|
const function_symbol & | sqrt () |
| Constructor for function symbol sqrt.
|
|
bool | is_sqrt_function_symbol (const atermpp::aterm &e) |
| Recogniser for function sqrt.
|
|
application | sqrt (const data_expression &arg0) |
| Application of function symbol sqrt.
|
|
void | make_sqrt (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol sqrt.
|
|
bool | is_sqrt_application (const atermpp::aterm &e) |
| Recogniser for application of sqrt.
|
|
const core::identifier_string & | sqrt_nat_aux_func_name () |
| Generate identifier @sqrt_nat.
|
|
const function_symbol & | sqrt_nat_aux_func () |
| Constructor for function symbol @sqrt_nat.
|
|
bool | is_sqrt_nat_aux_func_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @sqrt_nat.
|
|
application | sqrt_nat_aux_func (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Application of function symbol @sqrt_nat.
|
|
void | make_sqrt_nat_aux_func (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Make an application of function symbol @sqrt_nat.
|
|
bool | is_sqrt_nat_aux_func_application (const atermpp::aterm &e) |
| Recogniser for application of @sqrt_nat.
|
|
const core::identifier_string & | first_name () |
| Generate identifier @first.
|
|
const function_symbol & | first () |
| Constructor for function symbol @first.
|
|
bool | is_first_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @first.
|
|
application | first (const data_expression &arg0) |
| Application of function symbol @first.
|
|
void | make_first (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol @first.
|
|
bool | is_first_application (const atermpp::aterm &e) |
| Recogniser for application of @first.
|
|
const core::identifier_string & | last_name () |
| Generate identifier @last.
|
|
const function_symbol & | last () |
| Constructor for function symbol @last.
|
|
bool | is_last_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @last.
|
|
application | last (const data_expression &arg0) |
| Application of function symbol @last.
|
|
void | make_last (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol @last.
|
|
bool | is_last_application (const atermpp::aterm &e) |
| Recogniser for application of @last.
|
|
const core::identifier_string & | divmod_name () |
| Generate identifier @divmod.
|
|
const function_symbol & | divmod () |
| Constructor for function symbol @divmod.
|
|
bool | is_divmod_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @divmod.
|
|
application | divmod (const data_expression &arg0, const data_expression &arg1) |
| Application of function symbol @divmod.
|
|
void | make_divmod (data_expression &result, const data_expression &arg0, const data_expression &arg1) |
| Make an application of function symbol @divmod.
|
|
bool | is_divmod_application (const atermpp::aterm &e) |
| Recogniser for application of @divmod.
|
|
const core::identifier_string & | generalised_divmod_name () |
| Generate identifier @gdivmod.
|
|
const function_symbol & | generalised_divmod () |
| Constructor for function symbol @gdivmod.
|
|
bool | is_generalised_divmod_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @gdivmod.
|
|
application | generalised_divmod (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Application of function symbol @gdivmod.
|
|
void | make_generalised_divmod (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Make an application of function symbol @gdivmod.
|
|
bool | is_generalised_divmod_application (const atermpp::aterm &e) |
| Recogniser for application of @gdivmod.
|
|
const core::identifier_string & | doubly_generalised_divmod_name () |
| Generate identifier @ggdivmod.
|
|
const function_symbol & | doubly_generalised_divmod () |
| Constructor for function symbol @ggdivmod.
|
|
bool | is_doubly_generalised_divmod_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @ggdivmod.
|
|
application | doubly_generalised_divmod (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Application of function symbol @ggdivmod.
|
|
void | make_doubly_generalised_divmod (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Make an application of function symbol @ggdivmod.
|
|
bool | is_doubly_generalised_divmod_application (const atermpp::aterm &e) |
| Recogniser for application of @ggdivmod.
|
|
function_symbol_vector | nat_generate_functions_code () |
| Give all system defined mappings for nat.
|
|
function_symbol_vector | nat_generate_constructors_and_functions_code () |
| Give all system defined mappings and constructors for nat.
|
|
function_symbol_vector | nat_mCRL2_usable_mappings () |
| Give all system defined mappings that can be used in mCRL2 specs for nat.
|
|
implementation_map | nat_cpp_implementable_mappings () |
| Give all system defined mappings that are to be implemented in C++ code for nat.
|
|
const data_expression & | arg (const data_expression &e) |
| Function for projecting out argument. arg from an application.
|
|
const data_expression & | arg1 (const data_expression &e) |
| Function for projecting out argument. arg1 from an application.
|
|
const data_expression & | arg2 (const data_expression &e) |
| Function for projecting out argument. arg2 from an application.
|
|
const data_expression & | left (const data_expression &e) |
| Function for projecting out argument. left from an application.
|
|
const data_expression & | right (const data_expression &e) |
| Function for projecting out argument. right from an application.
|
|
const data_expression & | arg3 (const data_expression &e) |
| Function for projecting out argument. arg3 from an application.
|
|
const data_expression & | arg4 (const data_expression &e) |
| Function for projecting out argument. arg4 from an application.
|
|
data_equation_vector | nat_generate_equations_code () |
| Give all system defined equations for nat.
|
|
const core::identifier_string & | natnatpair_name () |
|
const basic_sort & | natnatpair () |
| Constructor for sort expression @NatNatPair.
|
|
bool | is_natnatpair (const sort_expression &e) |
| Recogniser for sort expression @NatNatPair.
|
|
const core::identifier_string & | succ_nat_name () |
| Generate identifier @succ_nat.
|
|
const function_symbol & | succ_nat () |
| Constructor for function symbol @succ_nat.
|
|
bool | is_succ_nat_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @succ_nat.
|
|
application | succ_nat (const data_expression &arg0) |
| Application of function symbol @succ_nat.
|
|
void | make_succ_nat (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol @succ_nat.
|
|
bool | is_succ_nat_application (const atermpp::aterm &e) |
| Recogniser for application of @succ_nat.
|
|
const core::identifier_string & | nnpair_name () |
| Generate identifier @nnPair.
|
|
const function_symbol & | nnpair () |
| Constructor for function symbol @nnPair.
|
|
bool | is_nnpair_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @nnPair.
|
|
application | nnpair (const data_expression &arg0, const data_expression &arg1) |
| Application of function symbol @nnPair.
|
|
void | make_nnpair (data_expression &result, const data_expression &arg0, const data_expression &arg1) |
| Make an application of function symbol @nnPair.
|
|
bool | is_nnpair_application (const atermpp::aterm &e) |
| Recogniser for application of @nnPair.
|
|
const core::identifier_string & | most_significant_digit_nat_name () |
| Generate identifier @most_significant_digitNat.
|
|
const function_symbol & | most_significant_digit_nat () |
| Constructor for function symbol @most_significant_digitNat.
|
|
bool | is_most_significant_digit_nat_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @most_significant_digitNat.
|
|
application | most_significant_digit_nat (const data_expression &arg0) |
| Application of function symbol @most_significant_digitNat.
|
|
void | make_most_significant_digit_nat (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol @most_significant_digitNat.
|
|
bool | is_most_significant_digit_nat_application (const atermpp::aterm &e) |
| Recogniser for application of @most_significant_digitNat.
|
|
const core::identifier_string & | concat_digit_name () |
| Generate identifier @concat_digit.
|
|
function_symbol | concat_digit (const sort_expression &s0, const sort_expression &s1) |
|
bool | is_concat_digit_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @concat_digit.
|
|
application | concat_digit (const data_expression &arg0, const data_expression &arg1) |
| Application of function symbol @concat_digit.
|
|
void | make_concat_digit (data_expression &result, const data_expression &arg0, const data_expression &arg1) |
| Make an application of function symbol @concat_digit.
|
|
bool | is_concat_digit_application (const atermpp::aterm &e) |
| Recogniser for application of @concat_digit.
|
|
const core::identifier_string & | equals_zero_name () |
| Generate identifier @equals_zero.
|
|
const function_symbol & | equals_zero () |
| Constructor for function symbol @equals_zero.
|
|
bool | is_equals_zero_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @equals_zero.
|
|
application | equals_zero (const data_expression &arg0) |
| Application of function symbol @equals_zero.
|
|
void | make_equals_zero (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol @equals_zero.
|
|
bool | is_equals_zero_application (const atermpp::aterm &e) |
| Recogniser for application of @equals_zero.
|
|
const core::identifier_string & | not_equals_zero_name () |
| Generate identifier @not_equals_zero.
|
|
const function_symbol & | not_equals_zero () |
| Constructor for function symbol @not_equals_zero.
|
|
bool | is_not_equals_zero_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @not_equals_zero.
|
|
application | not_equals_zero (const data_expression &arg0) |
| Application of function symbol @not_equals_zero.
|
|
void | make_not_equals_zero (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol @not_equals_zero.
|
|
bool | is_not_equals_zero_application (const atermpp::aterm &e) |
| Recogniser for application of @not_equals_zero.
|
|
const core::identifier_string & | equals_one_name () |
| Generate identifier @equals_one.
|
|
function_symbol | equals_one (const sort_expression &s0) |
|
bool | is_equals_one_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @equals_one.
|
|
application | equals_one (const data_expression &arg0) |
| Application of function symbol @equals_one.
|
|
void | make_equals_one (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol @equals_one.
|
|
bool | is_equals_one_application (const atermpp::aterm &e) |
| Recogniser for application of @equals_one.
|
|
const core::identifier_string & | pred_whr_name () |
| Generate identifier @pred_whr.
|
|
const function_symbol & | pred_whr () |
| Constructor for function symbol @pred_whr.
|
|
bool | is_pred_whr_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @pred_whr.
|
|
application | pred_whr (const data_expression &arg0) |
| Application of function symbol @pred_whr.
|
|
void | make_pred_whr (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol @pred_whr.
|
|
bool | is_pred_whr_application (const atermpp::aterm &e) |
| Recogniser for application of @pred_whr.
|
|
const core::identifier_string & | add_with_carry_name () |
| Generate identifier @add_with_carry.
|
|
function_symbol | add_with_carry (const sort_expression &s0, const sort_expression &s1) |
|
bool | is_add_with_carry_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @add_with_carry.
|
|
application | add_with_carry (const data_expression &arg0, const data_expression &arg1) |
| Application of function symbol @add_with_carry.
|
|
void | make_add_with_carry (data_expression &result, const data_expression &arg0, const data_expression &arg1) |
| Make an application of function symbol @add_with_carry.
|
|
bool | is_add_with_carry_application (const atermpp::aterm &e) |
| Recogniser for application of @add_with_carry.
|
|
const core::identifier_string & | auxiliary_plus_nat_name () |
| Generate identifier @plus_nat.
|
|
const function_symbol & | auxiliary_plus_nat () |
| Constructor for function symbol @plus_nat.
|
|
bool | is_auxiliary_plus_nat_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @plus_nat.
|
|
application | auxiliary_plus_nat (const data_expression &arg0, const data_expression &arg1) |
| Application of function symbol @plus_nat.
|
|
void | make_auxiliary_plus_nat (data_expression &result, const data_expression &arg0, const data_expression &arg1) |
| Make an application of function symbol @plus_nat.
|
|
bool | is_auxiliary_plus_nat_application (const atermpp::aterm &e) |
| Recogniser for application of @plus_nat.
|
|
const core::identifier_string & | times_ordered_name () |
| Generate identifier @times_ordered.
|
|
function_symbol | times_ordered (const sort_expression &s0, const sort_expression &s1) |
|
bool | is_times_ordered_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @times_ordered.
|
|
application | times_ordered (const data_expression &arg0, const data_expression &arg1) |
| Application of function symbol @times_ordered.
|
|
void | make_times_ordered (data_expression &result, const data_expression &arg0, const data_expression &arg1) |
| Make an application of function symbol @times_ordered.
|
|
bool | is_times_ordered_application (const atermpp::aterm &e) |
| Recogniser for application of @times_ordered.
|
|
const core::identifier_string & | times_overflow_name () |
| Generate identifier @times_overflow.
|
|
function_symbol | times_overflow (const sort_expression &s0, const sort_expression &s1, const sort_expression &s2) |
|
bool | is_times_overflow_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @times_overflow.
|
|
application | times_overflow (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Application of function symbol @times_overflow.
|
|
void | make_times_overflow (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Make an application of function symbol @times_overflow.
|
|
bool | is_times_overflow_application (const atermpp::aterm &e) |
| Recogniser for application of @times_overflow.
|
|
const core::identifier_string & | natpred_name () |
| Generate identifier @natpred.
|
|
const function_symbol & | natpred () |
| Constructor for function symbol @natpred.
|
|
bool | is_natpred_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @natpred.
|
|
application | natpred (const data_expression &arg0) |
| Application of function symbol @natpred.
|
|
void | make_natpred (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol @natpred.
|
|
bool | is_natpred_application (const atermpp::aterm &e) |
| Recogniser for application of @natpred.
|
|
const core::identifier_string & | is_odd_name () |
| Generate identifier @is_odd.
|
|
const function_symbol & | is_odd () |
| Constructor for function symbol @is_odd.
|
|
bool | is_is_odd_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @is_odd.
|
|
application | is_odd (const data_expression &arg0) |
| Application of function symbol @is_odd.
|
|
void | make_is_odd (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol @is_odd.
|
|
bool | is_is_odd_application (const atermpp::aterm &e) |
| Recogniser for application of @is_odd.
|
|
const core::identifier_string & | div2_name () |
| Generate identifier @div2.
|
|
const function_symbol & | div2 () |
| Constructor for function symbol @div2.
|
|
bool | is_div2_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @div2.
|
|
application | div2 (const data_expression &arg0) |
| Application of function symbol @div2.
|
|
void | make_div2 (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol @div2.
|
|
bool | is_div2_application (const atermpp::aterm &e) |
| Recogniser for application of @div2.
|
|
const core::identifier_string & | monus_whr_name () |
| Generate identifier @monus_whr.
|
|
const function_symbol & | monus_whr () |
| Constructor for function symbol @monus_whr.
|
|
bool | is_monus_whr_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @monus_whr.
|
|
application | monus_whr (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4) |
| Application of function symbol @monus_whr.
|
|
void | make_monus_whr (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4) |
| Make an application of function symbol @monus_whr.
|
|
bool | is_monus_whr_application (const atermpp::aterm &e) |
| Recogniser for application of @monus_whr.
|
|
const core::identifier_string & | exp_aux3p_name () |
| Generate identifier @exp_aux3p.
|
|
const function_symbol & | exp_aux3p () |
| Constructor for function symbol @exp_aux3p.
|
|
bool | is_exp_aux3p_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @exp_aux3p.
|
|
application | exp_aux3p (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Application of function symbol @exp_aux3p.
|
|
void | make_exp_aux3p (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Make an application of function symbol @exp_aux3p.
|
|
bool | is_exp_aux3p_application (const atermpp::aterm &e) |
| Recogniser for application of @exp_aux3p.
|
|
const core::identifier_string & | exp_aux4p_name () |
| Generate identifier @exp_aux4p.
|
|
const function_symbol & | exp_aux4p () |
| Constructor for function symbol @exp_aux4p.
|
|
bool | is_exp_aux4p_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @exp_aux4p.
|
|
application | exp_aux4p (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Application of function symbol @exp_aux4p.
|
|
void | make_exp_aux4p (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Make an application of function symbol @exp_aux4p.
|
|
bool | is_exp_aux4p_application (const atermpp::aterm &e) |
| Recogniser for application of @exp_aux4p.
|
|
const core::identifier_string & | exp_aux3n_name () |
| Generate identifier @exp_aux3n.
|
|
const function_symbol & | exp_aux3n () |
| Constructor for function symbol @exp_aux3n.
|
|
bool | is_exp_aux3n_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @exp_aux3n.
|
|
application | exp_aux3n (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Application of function symbol @exp_aux3n.
|
|
void | make_exp_aux3n (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Make an application of function symbol @exp_aux3n.
|
|
bool | is_exp_aux3n_application (const atermpp::aterm &e) |
| Recogniser for application of @exp_aux3n.
|
|
const core::identifier_string & | exp_aux4n_name () |
| Generate identifier @exp_aux4n.
|
|
const function_symbol & | exp_aux4n () |
| Constructor for function symbol @exp_aux4n.
|
|
bool | is_exp_aux4n_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @exp_aux4n.
|
|
application | exp_aux4n (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Application of function symbol @exp_aux4n.
|
|
void | make_exp_aux4n (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Make an application of function symbol @exp_aux4n.
|
|
bool | is_exp_aux4n_application (const atermpp::aterm &e) |
| Recogniser for application of @exp_aux4n.
|
|
const core::identifier_string & | exp_auxtruep_name () |
| Generate identifier @exp_auxtruep.
|
|
const function_symbol & | exp_auxtruep () |
| Constructor for function symbol @exp_auxtruep.
|
|
bool | is_exp_auxtruep_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @exp_auxtruep.
|
|
application | exp_auxtruep (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Application of function symbol @exp_auxtruep.
|
|
void | make_exp_auxtruep (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Make an application of function symbol @exp_auxtruep.
|
|
bool | is_exp_auxtruep_application (const atermpp::aterm &e) |
| Recogniser for application of @exp_auxtruep.
|
|
const core::identifier_string & | exp_auxtruen_name () |
| Generate identifier @exp_auxtruen.
|
|
const function_symbol & | exp_auxtruen () |
| Constructor for function symbol @exp_auxtruen.
|
|
bool | is_exp_auxtruen_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @exp_auxtruen.
|
|
application | exp_auxtruen (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Application of function symbol @exp_auxtruen.
|
|
void | make_exp_auxtruen (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Make an application of function symbol @exp_auxtruen.
|
|
bool | is_exp_auxtruen_application (const atermpp::aterm &e) |
| Recogniser for application of @exp_auxtruen.
|
|
const core::identifier_string & | exp_auxfalsep_name () |
| Generate identifier @exp_auxfalsep.
|
|
const function_symbol & | exp_auxfalsep () |
| Constructor for function symbol @exp_auxfalsep.
|
|
bool | is_exp_auxfalsep_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @exp_auxfalsep.
|
|
application | exp_auxfalsep (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Application of function symbol @exp_auxfalsep.
|
|
void | make_exp_auxfalsep (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Make an application of function symbol @exp_auxfalsep.
|
|
bool | is_exp_auxfalsep_application (const atermpp::aterm &e) |
| Recogniser for application of @exp_auxfalsep.
|
|
const core::identifier_string & | exp_auxfalsen_name () |
| Generate identifier @exp_auxfalsen.
|
|
const function_symbol & | exp_auxfalsen () |
| Constructor for function symbol @exp_auxfalsen.
|
|
bool | is_exp_auxfalsen_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @exp_auxfalsen.
|
|
application | exp_auxfalsen (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Application of function symbol @exp_auxfalsen.
|
|
void | make_exp_auxfalsen (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Make an application of function symbol @exp_auxfalsen.
|
|
bool | is_exp_auxfalsen_application (const atermpp::aterm &e) |
| Recogniser for application of @exp_auxfalsen.
|
|
const core::identifier_string & | div_bold_name () |
| Generate identifier @div_bold.
|
|
const function_symbol & | div_bold () |
| Constructor for function symbol @div_bold.
|
|
bool | is_div_bold_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @div_bold.
|
|
application | div_bold (const data_expression &arg0, const data_expression &arg1) |
| Application of function symbol @div_bold.
|
|
void | make_div_bold (data_expression &result, const data_expression &arg0, const data_expression &arg1) |
| Make an application of function symbol @div_bold.
|
|
bool | is_div_bold_application (const atermpp::aterm &e) |
| Recogniser for application of @div_bold.
|
|
const core::identifier_string & | div_bold_whr_name () |
| Generate identifier @div_bold_whr.
|
|
const function_symbol & | div_bold_whr () |
| Constructor for function symbol @div_bold_whr.
|
|
bool | is_div_bold_whr_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @div_bold_whr.
|
|
application | div_bold_whr (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4, const data_expression &arg5) |
| Application of function symbol @div_bold_whr.
|
|
void | make_div_bold_whr (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4, const data_expression &arg5) |
| Make an application of function symbol @div_bold_whr.
|
|
bool | is_div_bold_whr_application (const atermpp::aterm &e) |
| Recogniser for application of @div_bold_whr.
|
|
const core::identifier_string & | div_whr1_name () |
| Generate identifier @div_whr1.
|
|
const function_symbol & | div_whr1 () |
| Constructor for function symbol @div_whr1.
|
|
bool | is_div_whr1_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @div_whr1.
|
|
application | div_whr1 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Application of function symbol @div_whr1.
|
|
void | make_div_whr1 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Make an application of function symbol @div_whr1.
|
|
bool | is_div_whr1_application (const atermpp::aterm &e) |
| Recogniser for application of @div_whr1.
|
|
const core::identifier_string & | div_whr2_name () |
| Generate identifier @div_whr2.
|
|
const function_symbol & | div_whr2 () |
| Constructor for function symbol @div_whr2.
|
|
bool | is_div_whr2_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @div_whr2.
|
|
application | div_whr2 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4) |
| Application of function symbol @div_whr2.
|
|
void | make_div_whr2 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4) |
| Make an application of function symbol @div_whr2.
|
|
bool | is_div_whr2_application (const atermpp::aterm &e) |
| Recogniser for application of @div_whr2.
|
|
const core::identifier_string & | mod_whr1_name () |
| Generate identifier @mod_whr1.
|
|
const function_symbol & | mod_whr1 () |
| Constructor for function symbol @mod_whr1.
|
|
bool | is_mod_whr1_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @mod_whr1.
|
|
application | mod_whr1 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Application of function symbol @mod_whr1.
|
|
void | make_mod_whr1 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Make an application of function symbol @mod_whr1.
|
|
bool | is_mod_whr1_application (const atermpp::aterm &e) |
| Recogniser for application of @mod_whr1.
|
|
const core::identifier_string & | divmod_aux_name () |
| Generate identifier @divmod_aux.
|
|
const function_symbol & | divmod_aux () |
| Constructor for function symbol @divmod_aux.
|
|
bool | is_divmod_aux_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @divmod_aux.
|
|
application | divmod_aux (const data_expression &arg0, const data_expression &arg1) |
| Application of function symbol @divmod_aux.
|
|
void | make_divmod_aux (data_expression &result, const data_expression &arg0, const data_expression &arg1) |
| Make an application of function symbol @divmod_aux.
|
|
bool | is_divmod_aux_application (const atermpp::aterm &e) |
| Recogniser for application of @divmod_aux.
|
|
const core::identifier_string & | divmod_aux_whr1_name () |
| Generate identifier @divmod_aux_whr1.
|
|
const function_symbol & | divmod_aux_whr1 () |
| Constructor for function symbol @divmod_aux_whr1.
|
|
bool | is_divmod_aux_whr1_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @divmod_aux_whr1.
|
|
application | divmod_aux_whr1 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Application of function symbol @divmod_aux_whr1.
|
|
void | make_divmod_aux_whr1 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Make an application of function symbol @divmod_aux_whr1.
|
|
bool | is_divmod_aux_whr1_application (const atermpp::aterm &e) |
| Recogniser for application of @divmod_aux_whr1.
|
|
const core::identifier_string & | divmod_aux_whr2_name () |
| Generate identifier @divmod_aux_whr2.
|
|
const function_symbol & | divmod_aux_whr2 () |
| Constructor for function symbol @divmod_aux_whr2.
|
|
bool | is_divmod_aux_whr2_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @divmod_aux_whr2.
|
|
application | divmod_aux_whr2 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4) |
| Application of function symbol @divmod_aux_whr2.
|
|
void | make_divmod_aux_whr2 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4) |
| Make an application of function symbol @divmod_aux_whr2.
|
|
bool | is_divmod_aux_whr2_application (const atermpp::aterm &e) |
| Recogniser for application of @divmod_aux_whr2.
|
|
const core::identifier_string & | divmod_aux_whr3_name () |
| Generate identifier @divmod_aux_whr3.
|
|
const function_symbol & | divmod_aux_whr3 () |
| Constructor for function symbol @divmod_aux_whr3.
|
|
bool | is_divmod_aux_whr3_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @divmod_aux_whr3.
|
|
application | divmod_aux_whr3 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4) |
| Application of function symbol @divmod_aux_whr3.
|
|
void | make_divmod_aux_whr3 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4) |
| Make an application of function symbol @divmod_aux_whr3.
|
|
bool | is_divmod_aux_whr3_application (const atermpp::aterm &e) |
| Recogniser for application of @divmod_aux_whr3.
|
|
const core::identifier_string & | divmod_aux_whr4_name () |
| Generate identifier @divmod_aux_whr4.
|
|
const function_symbol & | divmod_aux_whr4 () |
| Constructor for function symbol @divmod_aux_whr4.
|
|
bool | is_divmod_aux_whr4_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @divmod_aux_whr4.
|
|
application | divmod_aux_whr4 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Application of function symbol @divmod_aux_whr4.
|
|
void | make_divmod_aux_whr4 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Make an application of function symbol @divmod_aux_whr4.
|
|
bool | is_divmod_aux_whr4_application (const atermpp::aterm &e) |
| Recogniser for application of @divmod_aux_whr4.
|
|
const core::identifier_string & | divmod_aux_whr5_name () |
| Generate identifier @divmod_aux_whr5.
|
|
const function_symbol & | divmod_aux_whr5 () |
| Constructor for function symbol @divmod_aux_whr5.
|
|
bool | is_divmod_aux_whr5_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @divmod_aux_whr5.
|
|
application | divmod_aux_whr5 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Application of function symbol @divmod_aux_whr5.
|
|
void | make_divmod_aux_whr5 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Make an application of function symbol @divmod_aux_whr5.
|
|
bool | is_divmod_aux_whr5_application (const atermpp::aterm &e) |
| Recogniser for application of @divmod_aux_whr5.
|
|
const core::identifier_string & | divmod_aux_whr6_name () |
| Generate identifier @divmod_aux_whr6.
|
|
const function_symbol & | divmod_aux_whr6 () |
| Constructor for function symbol @divmod_aux_whr6.
|
|
bool | is_divmod_aux_whr6_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @divmod_aux_whr6.
|
|
application | divmod_aux_whr6 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4) |
| Application of function symbol @divmod_aux_whr6.
|
|
void | make_divmod_aux_whr6 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4) |
| Make an application of function symbol @divmod_aux_whr6.
|
|
bool | is_divmod_aux_whr6_application (const atermpp::aterm &e) |
| Recogniser for application of @divmod_aux_whr6.
|
|
const core::identifier_string & | msd_name () |
| Generate identifier @msd.
|
|
const function_symbol & | msd () |
| Constructor for function symbol @msd.
|
|
bool | is_msd_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @msd.
|
|
application | msd (const data_expression &arg0) |
| Application of function symbol @msd.
|
|
void | make_msd (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol @msd.
|
|
bool | is_msd_application (const atermpp::aterm &e) |
| Recogniser for application of @msd.
|
|
const core::identifier_string & | sqrt_whr1_name () |
| Generate identifier @sqrt_whr1.
|
|
const function_symbol & | sqrt_whr1 () |
| Constructor for function symbol @sqrt_whr1.
|
|
bool | is_sqrt_whr1_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @sqrt_whr1.
|
|
application | sqrt_whr1 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Application of function symbol @sqrt_whr1.
|
|
void | make_sqrt_whr1 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Make an application of function symbol @sqrt_whr1.
|
|
bool | is_sqrt_whr1_application (const atermpp::aterm &e) |
| Recogniser for application of @sqrt_whr1.
|
|
const core::identifier_string & | sqrt_whr2_name () |
| Generate identifier @sqrt_whr2.
|
|
const function_symbol & | sqrt_whr2 () |
| Constructor for function symbol @sqrt_whr2.
|
|
bool | is_sqrt_whr2_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @sqrt_whr2.
|
|
application | sqrt_whr2 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4) |
| Application of function symbol @sqrt_whr2.
|
|
void | make_sqrt_whr2 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4) |
| Make an application of function symbol @sqrt_whr2.
|
|
bool | is_sqrt_whr2_application (const atermpp::aterm &e) |
| Recogniser for application of @sqrt_whr2.
|
|
const core::identifier_string & | sqrt_pair_name () |
| Generate identifier @sqrt_pair.
|
|
const function_symbol & | sqrt_pair () |
| Constructor for function symbol @sqrt_pair.
|
|
bool | is_sqrt_pair_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @sqrt_pair.
|
|
application | sqrt_pair (const data_expression &arg0) |
| Application of function symbol @sqrt_pair.
|
|
void | make_sqrt_pair (data_expression &result, const data_expression &arg0) |
| Make an application of function symbol @sqrt_pair.
|
|
bool | is_sqrt_pair_application (const atermpp::aterm &e) |
| Recogniser for application of @sqrt_pair.
|
|
const core::identifier_string & | sqrt_pair_whr1_name () |
| Generate identifier @sqrt_pair_whr1.
|
|
const function_symbol & | sqrt_pair_whr1 () |
| Constructor for function symbol @sqrt_pair_whr1.
|
|
bool | is_sqrt_pair_whr1_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @sqrt_pair_whr1.
|
|
application | sqrt_pair_whr1 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Application of function symbol @sqrt_pair_whr1.
|
|
void | make_sqrt_pair_whr1 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3) |
| Make an application of function symbol @sqrt_pair_whr1.
|
|
bool | is_sqrt_pair_whr1_application (const atermpp::aterm &e) |
| Recogniser for application of @sqrt_pair_whr1.
|
|
const core::identifier_string & | sqrt_pair_whr2_name () |
| Generate identifier @sqrt_pair_whr2.
|
|
const function_symbol & | sqrt_pair_whr2 () |
| Constructor for function symbol @sqrt_pair_whr2.
|
|
bool | is_sqrt_pair_whr2_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @sqrt_pair_whr2.
|
|
application | sqrt_pair_whr2 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4) |
| Application of function symbol @sqrt_pair_whr2.
|
|
void | make_sqrt_pair_whr2 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4) |
| Make an application of function symbol @sqrt_pair_whr2.
|
|
bool | is_sqrt_pair_whr2_application (const atermpp::aterm &e) |
| Recogniser for application of @sqrt_pair_whr2.
|
|
const core::identifier_string & | sqrt_pair_whr3_name () |
| Generate identifier @sqrt_pair_whr3.
|
|
const function_symbol & | sqrt_pair_whr3 () |
| Constructor for function symbol @sqrt_pair_whr3.
|
|
bool | is_sqrt_pair_whr3_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @sqrt_pair_whr3.
|
|
application | sqrt_pair_whr3 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Application of function symbol @sqrt_pair_whr3.
|
|
void | make_sqrt_pair_whr3 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Make an application of function symbol @sqrt_pair_whr3.
|
|
bool | is_sqrt_pair_whr3_application (const atermpp::aterm &e) |
| Recogniser for application of @sqrt_pair_whr3.
|
|
const core::identifier_string & | sqrt_pair_whr4_name () |
| Generate identifier @sqrt_pair_whr4.
|
|
const function_symbol & | sqrt_pair_whr4 () |
| Constructor for function symbol @sqrt_pair_whr4.
|
|
bool | is_sqrt_pair_whr4_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @sqrt_pair_whr4.
|
|
application | sqrt_pair_whr4 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4, const data_expression &arg5) |
| Application of function symbol @sqrt_pair_whr4.
|
|
void | make_sqrt_pair_whr4 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4, const data_expression &arg5) |
| Make an application of function symbol @sqrt_pair_whr4.
|
|
bool | is_sqrt_pair_whr4_application (const atermpp::aterm &e) |
| Recogniser for application of @sqrt_pair_whr4.
|
|
const core::identifier_string & | sqrt_pair_whr5_name () |
| Generate identifier @sqrt_pair_whr5.
|
|
const function_symbol & | sqrt_pair_whr5 () |
| Constructor for function symbol @sqrt_pair_whr5.
|
|
bool | is_sqrt_pair_whr5_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @sqrt_pair_whr5.
|
|
application | sqrt_pair_whr5 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4) |
| Application of function symbol @sqrt_pair_whr5.
|
|
void | make_sqrt_pair_whr5 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4) |
| Make an application of function symbol @sqrt_pair_whr5.
|
|
bool | is_sqrt_pair_whr5_application (const atermpp::aterm &e) |
| Recogniser for application of @sqrt_pair_whr5.
|
|
const core::identifier_string & | sqrt_pair_whr6_name () |
| Generate identifier @sqrt_pair_whr6.
|
|
const function_symbol & | sqrt_pair_whr6 () |
| Constructor for function symbol @sqrt_pair_whr6.
|
|
bool | is_sqrt_pair_whr6_function_symbol (const atermpp::aterm &e) |
| Recogniser for function @sqrt_pair_whr6.
|
|
application | sqrt_pair_whr6 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Application of function symbol @sqrt_pair_whr6.
|
|
void | make_sqrt_pair_whr6 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2) |
| Make an application of function symbol @sqrt_pair_whr6.
|
|
bool | is_sqrt_pair_whr6_application (const atermpp::aterm &e) |
| Recogniser for application of @sqrt_pair_whr6.
|
|
const data_expression & | arg5 (const data_expression &e) |
| Function for projecting out argument. arg5 from an application.
|
|
const data_expression & | arg6 (const data_expression &e) |
| Function for projecting out argument. arg6 from an application.
|
|
template<typename T > |
std::enable_if< std::is_integral< T >::value, data_expression >::type | nat (T t) |
| Constructs expression of type pos from an integral type.
|
|
data_expression | nat (const std::string &n) |
| Constructs expression of type Nat from a string.
|
|
bool | is_natural_constant (const data_expression &n) |
| Determines whether n is a natural constant.
|
|
std::string | natural_constant_as_string (const data_expression &n_in) |
| Return the string representation of a natural number.
|
|
template<class NUMERIC_TYPE > |
NUMERIC_TYPE | natural_constant_to_value (const data_expression &n) |
| Return the NUMERIC_VALUE representation of a natural number.
|
|