Definition at line 108 of file call_sequences.cpp.
§ statest
§ check_call_sequencet()
check_call_sequencet::check_call_sequencet |
( |
const goto_functionst & |
_goto_functions, |
|
|
const std::vector< irep_idt > & |
_sequence |
|
) |
| |
|
inlineexplicit |
§ operator()()
void check_call_sequencet::operator() |
( |
void |
| ) |
|
Definition at line 174 of file call_sequences.cpp.
References check_call_sequencet::statet::call_stack, check_call_sequencet::statet::f, code_function_callt::function(), goto_functions_templatet< bodyT >::function_map, symbol_exprt::get_identifier(), goto_functions, check_call_sequencet::statet::index, check_call_sequencet::statet::pc, sequence, states, to_code_function_call(), and to_symbol_expr().
Referenced by check_call_sequencet().
§ goto_functions
§ sequence
const std::vector<irep_idt>& check_call_sequencet::sequence |
|
protected |
§ states
statest check_call_sequencet::states |
|
protected |
The documentation for this class was generated from the following file: