private void AddAll(TSet set, Symbol symbol) { Debug.Assert(symbol.IsPid); var newSet = new TSet(); foreach (var item in set.Where(i => !i.IsComplete && i.PostDot.Equals(symbol))) { newSet.Add(item, item.Next(true)); } Todo.Enqueue(newSet); }
private TSet AddAll(TSet set, Symbol symbol) { var newSet = new TSet(); foreach (var item in set.Where(i => !i.IsComplete && i.PostDot.Equals(symbol))) { newSet.Add(item, item.Next(true)); } newSet.Close(); return(newSet); }