}
pub trait ControlFlowGraph:
- DirectedGraph + WithStartNode + WithPredecessors + WithStartNode + WithSuccessors + WithNumNodes
+ DirectedGraph + WithStartNode + WithPredecessors + WithSuccessors + WithNumNodes
{
// convenient trait
}
impl<T> ControlFlowGraph for T where
- T: DirectedGraph
- + WithStartNode
- + WithPredecessors
- + WithStartNode
- + WithSuccessors
- + WithNumNodes
+ T: DirectedGraph + WithStartNode + WithPredecessors + WithSuccessors + WithNumNodes
{
}