cprover
target_to_loc_mapt Class Reference

#include <locs.h>

Collaboration diagram for target_to_loc_mapt:
[legend]

Public Member Functions

 target_to_loc_mapt (const locst &locs)
 
loc_reft operator[] (const goto_programt::const_targett t) const
 

Protected Types

typedef std::map< goto_programt::const_targett, loc_reftmapt
 

Protected Attributes

mapt map
 

Detailed Description

Definition at line 95 of file locs.h.

Member Typedef Documentation

§ mapt

Definition at line 112 of file locs.h.

Constructor & Destructor Documentation

§ target_to_loc_mapt()

target_to_loc_mapt::target_to_loc_mapt ( const locst locs)
inlineexplicit

Definition at line 98 of file locs.h.

References locst::begin(), locst::end(), and loct::target.

Member Function Documentation

§ operator[]()

loc_reft target_to_loc_mapt::operator[] ( const goto_programt::const_targett  t) const
inline

Definition at line 104 of file locs.h.

Member Data Documentation

§ map

mapt target_to_loc_mapt::map
protected

Definition at line 113 of file locs.h.


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