add_predecessor_edge(CfgEdge *edge) (defined in sail::Block) | sail::Block | |
add_successor_edge(CfgEdge *edge) (defined in sail::Block) | sail::Block | |
Block() (defined in sail::Block) | sail::Block | |
block_id (defined in sail::Block) | sail::Block | [protected] |
boost::serialization::access (defined in sail::Block) | sail::Block | [friend] |
get_block_id() const (defined in sail::Block) | sail::Block | |
get_predecessors() | sail::Block | |
get_successors() | sail::Block | |
is_basicblock() | sail::Block | [virtual] |
is_superblock() | sail::Block | [virtual] |
predecessors (defined in sail::Block) | sail::Block | [protected] |
set_block_id(int id) (defined in sail::Block) | sail::Block | |
successors (defined in sail::Block) | sail::Block | [protected] |
to_dotty(string prelude, bool pretty_print=true)=0 (defined in sail::Block) | sail::Block | [pure virtual] |
to_string() const =0 (defined in sail::Block) | sail::Block | [pure virtual] |
~Block() (defined in sail::Block) | sail::Block | [virtual] |