786var state = new DagState(cases, remainingValues);

42/// by computing a description of the initial state in a <see cref="DagState"/>, and then 45/// A state description represented by a <see cref="DagState"/> is a collection of partially matched 49/// When we have computed <see cref="DagState"/> descriptions for all of the states, we create a new 773var workList = ArrayBuilder<DagState>.GetInstance(); 776var uniqueState = new Dictionary<DagState, DagState>(DagStateEquivalence.Instance); 784DagState uniqifyState(ImmutableArray<StateForCase> cases, ImmutableDictionary<BoundDagTemp, IValueSet> remainingValues) 786var state = new DagState(cases, remainingValues); 787if (uniqueState.TryGetValue(state, out DagState? existingState)) 835var initialState = uniqifyState(rewrittenCases.ToImmutableAndFree(), ImmutableDictionary<BoundDagTemp, IValueSet>.Empty); 841DagState state = workList.Pop(); 922/// Compute the <see cref="BoundDecisionDag"/> corresponding to each <see cref="DagState"/> of the given <see cref="DecisionDag"/> 923/// and store it in <see cref="DagState.Dag"/>. 931bool wasAcyclic = decisionDag.TryGetTopologicallySortedReachableStates(out ImmutableArray<DagState> sortedStates); 955var state = sortedStates[i]; 1021DagState state, 1036DagState state, 1362DagState state, 1569public readonly DagState RootNode; 1570public DecisionDag(DagState rootNode) 1578private static ImmutableArray<DagState> Successor(DagState state) 1594return ImmutableArray<DagState>.Empty; 1601/// <param name="result">Topologically sorted <see cref="DagState"/> nodes.</param> 1603public bool TryGetTopologicallySortedReachableStates(out ImmutableArray<DagState> result) 1605return TopologicalSort.TryIterativeSort<DagState>(SpecializedCollections.SingletonEnumerable<DagState>(this.RootNode), Successor, out result); 1620var stateIdentifierMap = PooledDictionary<DagState, int>.GetInstance(); 1643foreach (DagState state in allStates) 1772public DagState? TrueBranch, FalseBranch; 1801private sealed class DagStateEquivalence : IEqualityComparer<DagState> 1807public bool Equals(DagState? x, DagState? y) 1814public int GetHashCode(DagState x) 1916DagState state, 1940DagState state, 1961DagState state, 1985DagState state, 2152DagState state, 2179DagState state,