cprover
goto_modelt Class Reference

#include <goto_model.h>

Collaboration diagram for goto_modelt:
[legend]

Public Member Functions

void clear ()
 
void output (std::ostream &out)
 
 goto_modelt ()
 
 goto_modelt (const goto_modelt &)=delete
 
goto_modeltoperator= (const goto_modelt &)=delete
 
 goto_modelt (goto_modelt &&other)
 
goto_modeltoperator= (goto_modelt &&other)
 

Public Attributes

symbol_tablet symbol_table
 
goto_functionst goto_functions
 

Detailed Description

Definition at line 22 of file goto_model.h.

Constructor & Destructor Documentation

◆ goto_modelt() [1/3]

goto_modelt::goto_modelt ( )
inline

Definition at line 40 of file goto_model.h.

◆ goto_modelt() [2/3]

goto_modelt::goto_modelt ( const goto_modelt )
delete

◆ goto_modelt() [3/3]

goto_modelt::goto_modelt ( goto_modelt &&  other)
inline

Definition at line 54 of file goto_model.h.

Member Function Documentation

◆ clear()

void goto_modelt::clear ( void  )
inline

◆ operator=() [1/2]

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

◆ operator=() [2/2]

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

Definition at line 60 of file goto_model.h.

References goto_functions, and symbol_table.

◆ output()

void goto_modelt::output ( std::ostream &  out)
inline

Member Data Documentation

◆ goto_functions

◆ symbol_table


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