cprover
goto_functionst Class Reference

#include <goto_functions.h>

Inheritance diagram for goto_functionst:
[legend]
Collaboration diagram for goto_functionst:
[legend]

Public Member Functions

 goto_functionst ()=default
 
 goto_functionst (const goto_functionst &)=delete
 
goto_functionstoperator= (const goto_functionst &)=delete
 
 goto_functionst (goto_functionst &&other)
 
goto_functionstoperator= (goto_functionst &&other)
 
- Public Member Functions inherited from goto_functions_templatet< goto_programt >
 goto_functions_templatet ()
 
 goto_functions_templatet (const goto_functions_templatet &)=delete
 
 goto_functions_templatet (goto_functions_templatet &&other)
 
goto_functions_templatetoperator= (const goto_functions_templatet &)=delete
 
goto_functions_templatetoperator= (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

- Public Types inherited from goto_functions_templatet< goto_programt >
typedef goto_function_templatet< goto_programtgoto_functiont
 
typedef std::map< irep_idt, goto_functiontfunction_mapt
 
- Static Public Member Functions inherited from goto_functions_templatet< goto_programt >
static irep_idt entry_point ()
 
- Public Attributes inherited from goto_functions_templatet< goto_programt >
function_mapt function_map
 

Detailed Description

Definition at line 20 of file goto_functions.h.

Constructor & Destructor Documentation

◆ goto_functionst() [1/3]

goto_functionst::goto_functionst ( )
default

◆ goto_functionst() [2/3]

goto_functionst::goto_functionst ( const goto_functionst )
delete

◆ goto_functionst() [3/3]

goto_functionst::goto_functionst ( goto_functionst &&  other)
inline

Definition at line 36 of file goto_functions.h.

Member Function Documentation

◆ operator=() [1/2]

goto_functionst& goto_functionst::operator= ( const goto_functionst )
delete

◆ operator=() [2/2]

goto_functionst& goto_functionst::operator= ( goto_functionst &&  other)
inline

Definition at line 41 of file goto_functions.h.

References goto_functions_templatet< bodyT >::operator=().


The documentation for this class was generated from the following file: