cprover
|
#include <goto_functions.h>
Public Member Functions | |
goto_functionst ()=default | |
goto_functionst (const goto_functionst &)=delete | |
goto_functionst & | operator= (const goto_functionst &)=delete |
goto_functionst (goto_functionst &&other) | |
goto_functionst & | operator= (goto_functionst &&other) |
![]() | |
goto_functions_templatet () | |
goto_functions_templatet (const goto_functions_templatet &)=delete | |
goto_functions_templatet (goto_functions_templatet &&other) | |
goto_functions_templatet & | operator= (const goto_functions_templatet &)=delete |
goto_functions_templatet & | operator= (goto_functions_templatet &&other) |
void | clear () |
void | output (const namespacet &ns, std::ostream &out) const |
void | compute_location_numbers () |
void | compute_loop_numbers () |
void | compute_target_numbers () |
void | compute_incoming_edges () |
void | update () |
void | swap (goto_functions_templatet &other) |
void | copy_from (const goto_functions_templatet &other) |
Additional Inherited Members | |
![]() | |
typedef goto_function_templatet< goto_programt > | goto_functiont |
typedef std::map< irep_idt, goto_functiont > | function_mapt |
![]() | |
static irep_idt | entry_point () |
![]() | |
function_mapt | function_map |
Definition at line 20 of file goto_functions.h.
|
default |
|
delete |
|
inline |
Definition at line 36 of file goto_functions.h.
|
delete |
|
inline |
Definition at line 41 of file goto_functions.h.
References goto_functions_templatet< bodyT >::operator=().