P4C
The P4 Compiler
Loading...
Searching...
No Matches
MauPower::Edge Class Reference

#include <simple_power_graph.h>

Public Member Functions

 Edge (size_t id, cstring name, std::vector< Node * > &child_nodes)
 
void dbprint (std::ostream &out) const
 
void dbprint (std::ostream &out, NodeAndEdgeSet *seen) const
 
std::string get_edge_color () const
 
bool is_equivalent (const Edge *other) const
 
cstring to_string () const
 

Public Attributes

std::vector< Node * > child_nodes_
 
const size_t id_
 
const cstring name_
 

Detailed Description

An edge denotes a connection from a parent to at least one child. More than one child exists in the case of a local execute, global execute, or long branch start.

Member Function Documentation

◆ get_edge_color()

std::string MauPower::Edge::get_edge_color ( ) const

The edge color denotes what color to display an edge for dot output. Only multi-line edges (one-to-many connections) will be colors other than black.