- Generated by
1.9.1
|
CBMC
|
This is the complete list of members for instrumentert, including all inherited members.
| add_instr_to_interleaving(goto_programt::instructionst::iterator it, goto_programt &interleaving) | instrumentert | inlineprotected |
| cfg_cycles_filter() | instrumentert | |
| collect_cycles(memory_modelt model) | instrumentert | inline |
| collect_cycles_by_SCCs(memory_modelt model) | instrumentert | |
| cost(const event_grapht::critical_cyclet::delayt &e) | instrumentert | inlineprotected |
| egraph | instrumentert | |
| egraph_alt | instrumentert | protected |
| egraph_SCCs | instrumentert | |
| extract_my_events() | instrumentert | static |
| goto2graph_cfg(value_setst &value_sets, memory_modelt model, bool no_dependencies, loop_strategyt duplicate_body) | instrumentert | |
| goto_functions | instrumentert | protected |
| id2cycloc | instrumentert | |
| id2loc | instrumentert | |
| instrument_all_inserter(const set_of_cyclest &set) | instrumentert | inlineprotected |
| instrument_minimum_interference_inserter(const set_of_cyclest &set) | instrumentert | inlineprotected |
| instrument_my_events(const std::set< event_idt > &events) | instrumentert | |
| instrument_my_events_inserter(const set_of_cyclest &set, const std::set< event_idt > &events) | instrumentert | inlineprotected |
| instrument_one_event_per_cycle_inserter(const set_of_cyclest &set) | instrumentert | inlineprotected |
| instrument_one_read_per_cycle_inserter(const set_of_cyclest &set) | instrumentert | inlineprotected |
| instrument_one_write_per_cycle_inserter(const set_of_cyclest &set) | instrumentert | inlineprotected |
| instrument_with_strategy(instrumentation_strategyt strategy) | instrumentert | |
| instrumentert(goto_modelt &_goto_model, messaget &_message) | instrumentert | inline |
| is_cfg_spurious(const event_grapht::critical_cyclet &cyc) | instrumentert | protected |
| local(const irep_idt &id) | instrumentert | inlineprotected |
| map_function_graph | instrumentert | |
| map_function_nodest typedef | instrumentert | |
| map_vertex_gnode | instrumentert | protected |
| message | instrumentert | |
| ns | instrumentert | |
| num_sccs | instrumentert | |
| print_map_function_graph() const | instrumentert | inline |
| print_outputs(memory_modelt model, bool hide_internals) | instrumentert | |
| print_outputs_local(const std::set< event_grapht::critical_cyclet > &set, std::ofstream &dot, std::ofstream &ref, std::ofstream &output, std::ofstream &all, std::ofstream &table, memory_modelt model, bool hide_internals) | instrumentert | inlineprotected |
| render_by_file | instrumentert | protected |
| render_by_function | instrumentert | protected |
| render_po_aligned | instrumentert | protected |
| set_of_cycles | instrumentert | |
| set_of_cycles_per_SCC | instrumentert | |
| set_of_cyclest typedef | instrumentert | protected |
| set_parameters_collection(unsigned _max_var=0, unsigned _max_po_trans=0, bool _ignore_arrays=false) | instrumentert | inline |
| set_rendering_options(bool aligned, bool file, bool function) | instrumentert | inline |
| target_sett typedef | instrumentert | protected |
| unique_id | instrumentert | protected |
| var_to_instr | instrumentert |
1.9.1