public void HighlightAll()
{
// Update node highlighting
_puzzleView.Highlight(_puzzleState.NonPlayerNodes, false);
_puzzleView.Highlight(_puzzleState.PlayerNodes, true);
// Update arc highlighting
_puzzleView.Highlight(_puzzleState.NonPlayerArcs, false);
_puzzleView.Highlight(_puzzleState.PlayerArcs, true);
_puzzleView.Highlight(_puzzleState.PulledArcView, true);
// Update field highlighting
_puzzleView.Highlight(_puzzleState.NonPushFields, false);
_puzzleView.Highlight(_puzzleState.PushFields, true);
}
