C# (CSharp) System.Collections Stack.Where Examples

Example #1

File: ZingExplorerStateLessSearch.cs Project: ZingModelChecker/Zing

        private bool SearchStackContains(Stack<TraversalInfo> stack, TraversalInfo ti)
        {
            if (!ti.IsFingerPrinted)
            {
                return false;
            }

            Fingerprint fp = ti.Fingerprint;

            var contains = stack.Where(t => (t.IsFingerPrinted && t.Fingerprint == fp)).Count() > 0;
            return contains;
        }