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

Definition at line 54 of file goto_functions_template.h.

◆ 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()

◆ copy_from()

◆ is_hidden()

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

◆ is_inlined()

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

◆ make_hidden()

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

◆ operator=() [1/2]

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

◆ operator=() [2/2]

◆ swap()

Member Data Documentation

◆ body

◆ parameter_identifiers

◆ type


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