CBMC
Public Member Functions | Public Attributes | List of all members
goto_program2codet::caset Struct Reference
+ Collaboration diagram for goto_program2codet::caset:

Public Member Functions

 caset (const goto_programt &goto_program, const exprt &v, goto_programt::const_targett sel, goto_programt::const_targett st)
 

Public Attributes

const exprt value
 
goto_programt::const_targett case_selector
 
goto_programt::const_targett case_start
 
goto_programt::const_targett case_last
 

Detailed Description

Definition at line 34 of file goto_program2code.h.

Constructor & Destructor Documentation

◆ caset()

goto_program2codet::caset::caset ( const goto_programt &  goto_program,
const exprt &  v,
goto_programt::const_targett  sel,
goto_programt::const_targett  st 
)
inline

Definition at line 41 of file goto_program2code.h.

Member Data Documentation

◆ case_last

goto_programt::const_targett goto_program2codet::caset::case_last

Definition at line 39 of file goto_program2code.h.

◆ case_selector

goto_programt::const_targett goto_program2codet::caset::case_selector

Definition at line 37 of file goto_program2code.h.

◆ case_start

goto_programt::const_targett goto_program2codet::caset::case_start

Definition at line 38 of file goto_program2code.h.

◆ value

const exprt goto_program2codet::caset::value

Definition at line 36 of file goto_program2code.h.

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