System\Text\RegularExpressions\Symbolic\CharSetSolver.cs (11)
69GetOrCreateBDD(k, bdd, BDD.False) :
70GetOrCreateBDD(k, BDD.False, bdd);
211_operationCache[key] = result = GetOrCreateBDD(set.Ordinal, Not(set.One), Not(set.Zero));
282_operationCache[((int)op, set1, set2)] = result = one == two ? one : GetOrCreateBDD(ordinal, one, two);
320upper == 0 ? GetOrCreateBDD(maxBit, Empty, Full) : // lower must also be 0
321lower == 1 ? GetOrCreateBDD(maxBit, Full, Empty) : // upper must also be 1
339return GetOrCreateBDD(maxBit, Empty, zero);
345return GetOrCreateBDD(maxBit, one, Empty);
353return GetOrCreateBDD(maxBit, one, zero);
366BDD leaf = GetOrCreateBDD(terminal, null, null);
381cache[bdd] = result = GetOrCreateBDD(bdd.Ordinal, one, zero);