/// <summary>
/// Compute the label in the appropriate orientation for this DirEdge.
/// </summary>
private void ComputeDirectedLabel()
{
Label = new Label(Edge.Label);
if (!_isForward)
{
Label.Flip();
}
}
/// <summary>
/// Compute the label in the appropriate orientation for this DirEdge.
/// </summary>
private void ComputeDirectedLabel()
{
Label = new Label(Edge.Label);
if (!_isForward)
{
Label.Flip();
}
}