cprover
goto_function_templatet< bodyT > Class Template Reference

#include <goto_functions_template.h>

Collaboration diagram for goto_function_templatet< bodyT >:
[legend]

Public Types

typedef std::vector< irep_idtparameter_identifierst
 

Public Member Functions

bool body_available () const
 
bool is_inlined () const
 
bool is_hidden () const
 
void make_hidden ()
 
 goto_function_templatet ()
 
void clear ()
 
void swap (goto_function_templatet &other)
 
void copy_from (const goto_function_templatet &other)
 
 goto_function_templatet (const goto_function_templatet &)=delete
 
goto_function_templatetoperator= (const goto_function_templatet &)=delete
 
 goto_function_templatet (goto_function_templatet &&other)
 
goto_function_templatetoperator= (goto_function_templatet &&other)
 

Public Attributes

bodyT body
 
code_typet type
 
parameter_identifierst parameter_identifiers
 

Detailed Description

template<class bodyT>
class goto_function_templatet< bodyT >

Definition at line 25 of file goto_functions_template.h.

Member Typedef Documentation

§ parameter_identifierst

template<class bodyT>
typedef std::vector<irep_idt> goto_function_templatet< bodyT >::parameter_identifierst

Definition at line 31 of file goto_functions_template.h.

Constructor & Destructor Documentation

§ goto_function_templatet() [1/3]

template<class bodyT>
goto_function_templatet< bodyT >::goto_function_templatet ( )
inline

§ goto_function_templatet() [2/3]

template<class bodyT>
goto_function_templatet< bodyT >::goto_function_templatet ( const goto_function_templatet< bodyT > &  )
delete

§ goto_function_templatet() [3/3]

template<class bodyT>
goto_function_templatet< bodyT >::goto_function_templatet ( goto_function_templatet< bodyT > &&  other)
inline

Definition at line 82 of file goto_functions_template.h.

Member Function Documentation

§ body_available()

§ clear()

template<class bodyT>
void goto_function_templatet< bodyT >::clear ( void  )
inline

Definition at line 58 of file goto_functions_template.h.

References irept::clear().

§ copy_from()

§ is_hidden()

template<class bodyT>
bool goto_function_templatet< bodyT >::is_hidden ( ) const
inline

Definition at line 44 of file goto_functions_template.h.

References irept::get_bool().

§ is_inlined()

template<class bodyT>
bool goto_function_templatet< bodyT >::is_inlined ( ) const
inline

Definition at line 39 of file goto_functions_template.h.

References irept::get_bool().

§ make_hidden()

template<class bodyT>
void goto_function_templatet< bodyT >::make_hidden ( )
inline

Definition at line 49 of file goto_functions_template.h.

References irept::set().

§ operator=() [1/2]

§ operator=() [2/2]

template<class bodyT>
goto_function_templatet& goto_function_templatet< bodyT >::operator= ( goto_function_templatet< bodyT > &&  other)
inline

Definition at line 89 of file goto_functions_template.h.

§ swap()

Member Data Documentation

§ body

§ parameter_identifiers

template<class bodyT>
parameter_identifierst goto_function_templatet< bodyT >::parameter_identifiers

§ type


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