Public Member Functions | |
| GraphNode (Transition tr, inter_node_t ty=InterNone) | |
| GraphNode (const GraphNode &g) | |
Public Attributes | |
| Transition | trans |
| int | intra_nodeno |
| inter_node_t | type |
| sem_elem_t | weight |
| IntraGraph * | gr |
| std::list< int > | outgoing |
| std::list< int > | incoming |
| std::list< int > | out_hyper_edges |
| bool | visited |
| wali::graph::GraphNode::GraphNode | ( | Transition | tr, | |
| inter_node_t | ty = InterNone | |||
| ) |
| wali::graph::GraphNode::GraphNode | ( | const GraphNode & | g | ) |
| std::list<int> wali::graph::GraphNode::outgoing |
| std::list<int> wali::graph::GraphNode::incoming |
| std::list<int> wali::graph::GraphNode::out_hyper_edges |
1.7.1