P4C
The P4 Compiler
|
#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_ |
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.
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.