sail::CfgEdge Class Reference

Represents an edge from a source block to a target block possibly labeled with some condition. More...

#include <CfgEdge.h>

List of all members.

Public Member Functions
	CfgEdge (Block *source, Block *target, Symbol *cond)
	CfgEdge (const CfgEdge &other)
Block *	get_source ()
Block *	get_target ()
bool	is_backedge ()
void	mark_backedge ()
void	unmark_backedge ()
void	set_target (Block *b)
void	set_source (Block *b)
void	set_cond (Symbol *cond)
Symbol *	get_cond ()
string	to_string () const
string	to_string (bool pretty_print) const
Friends
class	boost::serialization::access

---

Detailed Description

Represents an edge from a source block to a target block possibly labeled with some condition.

---

Member Function Documentation

Symbol * sail::CfgEdge::get_cond

(

)

Returns:

the condition labelling this edge; NULL if the target of the edge has exactly one predecessor.

Block * sail::CfgEdge::get_source

(

)

Returns:

source of the edge

Block * sail::CfgEdge::get_target

(

)

Returns:

target of the edge

bool sail::CfgEdge::is_backedge

(

)

Returns:

Is this edge a backedge or not?

---

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

• sail/CfgEdge.h
• sail/CfgEdge.cpp