98 for(label = labels_to_be_printed.begin(); label != label_end; ++label)
100 if(label != labels_to_be_printed.begin())
134 return labels.find(selector)->second;
bool CdgEdgeT() const
Function returning true when the edge is a then control dependence edge.
bool Switch() const
Return true if it is an edge associated with a switch.
#define CDG_SELECTOR
Control dependence edge selector.
#define default_COND
constant used to represent label "default" of a switch construct
const std::string PrintLabels(const int selector, const BehavioralHelperConstRef BH) const
Return the string of the labels associated with the edge.
std::map< int, CustomOrderedSet< unsigned int > > labels
edge labels; key is the selector
#define T_COND
constant used to represent control edges representing a true edge of a conditional statement...
const CustomOrderedSet< unsigned int > & get_nodeID(const int selector) const
Return the nodeID of type type associated with this edge information.
std::string PrintVariable(unsigned int var) const
Print the name of the variable associated to the index.
void add_nodeID(unsigned int nodeID, const int type)
Add a nodeID of type type to this edge_info.
Data structures used to represent an edge in operation and basic block graphs.
bool CfgEdgeF() const
Function returning true when the edge is an else control flow edge.
bool CdgEdgeF() const
Function returning true when the edge is an else control dependence edge.
bool CfgEdgeT() const
Function returning true when the edge is a then control flow edge.
#define F_COND
constant used to represent control edges representing a false edge of a conditional statement...
#define CFG_SELECTOR
Control flow graph edge selector.