Skip to content

Commit

Permalink
Fix inadvertent logical AND (#67875)
Browse files Browse the repository at this point in the history
  • Loading branch information
danmoseley authored Apr 12, 2022
1 parent 991c4fe commit 02fae07
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -73,7 +73,7 @@ internal override void AddArc(Arc start, Arc end)
State startEndState = start.End;

// Connect the previous arc with the 'start' set the insertion point
if (start.IsEpsilonTransition & start.IsPropertylessTransition && startEndState != null && startEndState.InArcs.IsEmpty)
if (start.IsEpsilonTransition && start.IsPropertylessTransition && startEndState != null && startEndState.InArcs.IsEmpty)
{
System.Diagnostics.Debug.Assert(start.End == startEndState);
start.End = null;
Expand All @@ -85,7 +85,7 @@ internal override void AddArc(Arc start, Arc end)
}

// Connect with the epsilon transition at the end
if (end.IsEpsilonTransition & end.IsPropertylessTransition && endStartState != null && endStartState.OutArcs.IsEmpty)
if (end.IsEpsilonTransition && end.IsPropertylessTransition && endStartState != null && endStartState.OutArcs.IsEmpty)
{
System.Diagnostics.Debug.Assert(end.Start == endStartState);
end.Start = null;
Expand Down

0 comments on commit 02fae07

Please sign in to comment.