cprover
|
Public Types | |
typedef std::map< goto_programt::const_targett, unsigned > | block_mapt |
typedef std::map< unsigned, source_locationt > | source_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 |
typedef std::map<goto_programt::const_targett, unsigned> basic_blockst::block_mapt |
typedef std::map<unsigned, source_locationt> basic_blockst::source_location_mapt |
|
inlineexplicit |
Definition at line 25 of file cover.cpp.
References block_map, forall_goto_program_instructions, and source_location_map.
|
inline |
|
inline |
block_mapt basic_blockst::block_map |
Definition at line 48 of file cover.cpp.
Referenced by basic_blockst(), operator[](), and output().
source_location_mapt basic_blockst::source_location_map |
Definition at line 52 of file cover.cpp.
Referenced by basic_blockst().