cprover
basic_blockst Class Reference
Collaboration diagram for basic_blockst:
[legend]

Public Types

typedef std::map< goto_programt::const_targett, unsigned > block_mapt
 
typedef std::map< unsigned, source_locationtsource_location_mapt
 

Public Member Functions

 basic_blockst (const goto_programt &_goto_program)
 
unsigned operator[] (goto_programt::const_targett t)
 
void output (std::ostream &out)
 

Public Attributes

block_mapt block_map
 
source_location_mapt source_location_map
 

Detailed Description

Definition at line 22 of file cover.cpp.

Member Typedef Documentation

◆ block_mapt

Definition at line 47 of file cover.cpp.

◆ source_location_mapt

Definition at line 51 of file cover.cpp.

Constructor & Destructor Documentation

◆ basic_blockst()

basic_blockst::basic_blockst ( const goto_programt _goto_program)
inlineexplicit

Definition at line 25 of file cover.cpp.

References block_map, forall_goto_program_instructions, and source_location_map.

Member Function Documentation

◆ operator[]()

unsigned basic_blockst::operator[] ( goto_programt::const_targett  t)
inline

Definition at line 54 of file cover.cpp.

References block_map.

◆ output()

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

Definition at line 59 of file cover.cpp.

References block_map.

Member Data Documentation

◆ block_map

block_mapt basic_blockst::block_map

Definition at line 48 of file cover.cpp.

Referenced by basic_blockst(), operator[](), and output().

◆ source_location_map

source_location_mapt basic_blockst::source_location_map

Definition at line 52 of file cover.cpp.

Referenced by basic_blockst().


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