- Generated by
1.9.1
|
CBMC
|
This is the complete list of members for expr2ct, including all inherited members.
| configuration | expr2ct | protected |
| convert(const typet &src) | expr2ct | virtual |
| convert(const exprt &src) | expr2ct | virtual |
| convert_allocate(const exprt &src, unsigned &precedence) | expr2ct | protected |
| convert_annotated_pointer_constant(const annotated_pointer_constant_exprt &src, unsigned &precedence) | expr2ct | protectedvirtual |
| convert_array(const exprt &src) | expr2ct | protected |
| convert_array_list(const exprt &src, unsigned &precedence) | expr2ct | protected |
| convert_array_member_value(const exprt &src, unsigned precedence) | expr2ct | protected |
| convert_array_of(const exprt &src, unsigned precedence) | expr2ct | protected |
| convert_array_type(const typet &src, const c_qualifierst &qualifiers, const std::string &declarator_str) | expr2ct | protectedvirtual |
| convert_array_type(const typet &src, const c_qualifierst &qualifiers, const std::string &declarator_str, bool inc_size_if_possible) | expr2ct | protected |
| convert_binary(const binary_exprt &, const std::string &symbol, unsigned precedence, bool full_parentheses) | expr2ct | protected |
| convert_binding(const binding_exprt &, const std::string &symbol, unsigned precedence) | expr2ct | protected |
| convert_bitreverse(const bitreverse_exprt &src) | expr2ct | protected |
| convert_byte_extract(const byte_extract_exprt &, unsigned precedence) | expr2ct | protected |
| convert_byte_update(const byte_update_exprt &, unsigned precedence) | expr2ct | protected |
| convert_code(const codet &src) | expr2ct | protected |
| convert_code(const codet &src, unsigned indent) | expr2ct | protectedvirtual |
| convert_code_array_copy(const codet &src, unsigned indent) | expr2ct | protected |
| convert_code_array_replace(const codet &src, unsigned indent) | expr2ct | protected |
| convert_code_array_set(const codet &src, unsigned indent) | expr2ct | protected |
| convert_code_asm(const code_asmt &src, unsigned indent) | expr2ct | protected |
| convert_code_assert(const codet &src, unsigned indent) | expr2ct | protected |
| convert_code_assume(const codet &src, unsigned indent) | expr2ct | protected |
| convert_code_block(const code_blockt &src, unsigned indent) | expr2ct | protected |
| convert_code_break(unsigned indent) | expr2ct | protected |
| convert_code_continue(unsigned indent) | expr2ct | protected |
| convert_code_dead(const codet &src, unsigned indent) | expr2ct | protected |
| convert_code_decl_block(const codet &src, unsigned indent) | expr2ct | protected |
| convert_code_dowhile(const code_dowhilet &src, unsigned indent) | expr2ct | protected |
| convert_code_expression(const codet &src, unsigned indent) | expr2ct | protected |
| convert_code_fence(const codet &src, unsigned indent) | expr2ct | protected |
| convert_code_for(const code_fort &src, unsigned indent) | expr2ct | protected |
| convert_code_frontend_assign(const code_frontend_assignt &, unsigned indent) | expr2ct | protected |
| convert_code_frontend_decl(const codet &, unsigned indent) | expr2ct | protected |
| convert_code_function_call(const code_function_callt &src, unsigned indent) | expr2ct | protected |
| convert_code_goto(const codet &src, unsigned indent) | expr2ct | protected |
| convert_code_ifthenelse(const code_ifthenelset &src, unsigned indent) | expr2ct | protected |
| convert_code_input(const codet &src, unsigned indent) | expr2ct | protected |
| convert_code_label(const code_labelt &src, unsigned indent) | expr2ct | protected |
| convert_code_lock(const codet &src, unsigned indent) | expr2ct | protected |
| convert_code_output(const codet &src, unsigned indent) | expr2ct | protected |
| convert_code_printf(const codet &src, unsigned indent) | expr2ct | protected |
| convert_code_return(const codet &src, unsigned indent) | expr2ct | protected |
| convert_code_switch(const codet &src, unsigned indent) | expr2ct | protected |
| convert_code_switch_case(const code_switch_caset &src, unsigned indent) | expr2ct | protected |
| convert_code_unlock(const codet &src, unsigned indent) | expr2ct | protected |
| convert_code_while(const code_whilet &src, unsigned indent) | expr2ct | protected |
| convert_comma(const exprt &src, unsigned precedence) | expr2ct | protected |
| convert_complex(const exprt &src, unsigned precedence) | expr2ct | protected |
| convert_concatenation(const exprt &src, unsigned &precedence) | expr2ct | protected |
| convert_cond(const exprt &src, unsigned precedence) | expr2ct | protected |
| convert_conditional_target_group(const exprt &src) | expr2ct | protected |
| convert_constant(const constant_exprt &src, unsigned &precedence) | expr2ct | protectedvirtual |
| convert_constant_bool(bool boolean_value) | expr2ct | protectedvirtual |
| convert_designated_initializer(const exprt &src) | expr2ct | protected |
| convert_extractbit(const extractbit_exprt &, unsigned precedence) | expr2ct | protected |
| convert_extractbits(const extractbits_exprt &src, unsigned precedence) | expr2ct | protected |
| convert_function(const exprt &src) | expr2ct | protected |
| convert_function(const exprt &src, const std::string &symbol) | expr2ct | protected |
| convert_function_application(const function_application_exprt &src) | expr2ct | protected |
| convert_Hoare(const exprt &src) | expr2ct | protected |
| convert_index(const binary_exprt &, unsigned precedence) | expr2ct | protected |
| convert_index_designator(const exprt &src) | expr2ct | protected |
| convert_initializer_list(const exprt &src) | expr2ct | protected |
| convert_let(const let_exprt &, unsigned precedence) | expr2ct | protected |
| convert_literal(const exprt &src) | expr2ct | protected |
| convert_member(const member_exprt &src, unsigned precedence) | expr2ct | protected |
| convert_member_designator(const exprt &src) | expr2ct | protected |
| convert_multi_ary(const exprt &src, const std::string &symbol, unsigned precedence, bool full_parentheses) | expr2ct | protected |
| convert_nondet(const exprt &src, unsigned &precedence) | expr2ct | protected |
| convert_nondet_bool() | expr2ct | protected |
| convert_nondet_symbol(const nondet_symbol_exprt &) | expr2ct | protected |
| convert_norep(const exprt &src, unsigned &precedence) | expr2ct | protected |
| convert_object_descriptor(const exprt &src, unsigned &precedence) | expr2ct | protected |
| convert_overflow(const exprt &src, unsigned &precedence) | expr2ct | protected |
| convert_pointer_arithmetic(const exprt &src, unsigned &precedence) | expr2ct | protected |
| convert_pointer_difference(const exprt &src, unsigned &precedence) | expr2ct | protected |
| convert_pointer_in_range(const pointer_in_range_exprt &src) | expr2ct | protected |
| convert_predicate_next_symbol(const exprt &src) | expr2ct | protected |
| convert_predicate_passive_symbol(const exprt &src) | expr2ct | protected |
| convert_predicate_symbol(const exprt &src) | expr2ct | protected |
| convert_prob_coin(const exprt &src, unsigned &precedence) | expr2ct | protected |
| convert_prob_uniform(const exprt &src, unsigned &precedence) | expr2ct | protected |
| convert_prophecy_pointer_in_range(const prophecy_pointer_in_range_exprt &src) | expr2ct | protected |
| convert_prophecy_r_or_w_ok(const prophecy_r_or_w_ok_exprt &src) | expr2ct | protected |
| convert_quantified_symbol(const exprt &src) | expr2ct | protected |
| convert_r_or_w_ok(const r_or_w_ok_exprt &src) | expr2ct | protected |
| convert_rec(const typet &src, const c_qualifierst &qualifiers, const std::string &declarator) | expr2ct | protectedvirtual |
| convert_rox(const shift_exprt &src, unsigned precedence) | expr2ct | protected |
| convert_side_effect_expr_function_call(const side_effect_expr_function_callt &src) | expr2ct | protected |
| convert_sizeof(const exprt &src, unsigned &precedence) | expr2ct | protected |
| convert_statement_expression(const exprt &src, unsigned &precendence) | expr2ct | protected |
| convert_struct(const exprt &src, unsigned &precedence) | expr2ct | protectedvirtual |
| convert_struct(const exprt &src, unsigned &precedence, bool include_padding_components) | expr2ct | protected |
| convert_struct_member_value(const exprt &src, unsigned precedence) | expr2ct | protected |
| convert_struct_type(const typet &src, const std::string &qualifiers_str, const std::string &declarator_str) | expr2ct | protectedvirtual |
| convert_struct_type(const typet &src, const std::string &qualifer_str, const std::string &declarator_str, bool inc_struct_body, bool inc_padding_components) | expr2ct | protected |
| convert_symbol(const exprt &src) | expr2ct | protectedvirtual |
| convert_trinary(const ternary_exprt &src, const std::string &symbol1, const std::string &symbol2, unsigned precedence) | expr2ct | protected |
| convert_typecast(const typecast_exprt &src, unsigned &precedence) | expr2ct | protected |
| convert_unary(const unary_exprt &, const std::string &symbol, unsigned precedence) | expr2ct | protected |
| convert_unary_post(const exprt &src, const std::string &symbol, unsigned precedence) | expr2ct | protected |
| convert_union(const exprt &src, unsigned &precedence) | expr2ct | protected |
| convert_update(const update_exprt &, unsigned precedence) | expr2ct | protected |
| convert_vector(const exprt &src, unsigned &precedence) | expr2ct | protected |
| convert_with(const exprt &src, unsigned precedence) | expr2ct | protected |
| convert_with_identifier(const typet &src, const std::string &identifier) | expr2ct | |
| convert_with_precedence(const exprt &src, unsigned &precedence) | expr2ct | protectedvirtual |
| expr2ct(const namespacet &_ns, const expr2c_configurationt &configuration=expr2c_configurationt::default_configuration) | expr2ct | inlineexplicit |
| get_shorthands(const exprt &expr) | expr2ct | |
| id_shorthand(const irep_idt &identifier) const | expr2ct | protected |
| indent_str(unsigned indent) | expr2ct | protectedstatic |
| ns | expr2ct | protected |
| ns_collision | expr2ct | protected |
| shorthands | expr2ct | protected |
| sizeof_nesting | expr2ct | protected |
| ~expr2ct() | expr2ct | inlinevirtual |
1.9.1