System\Text\RegularExpressions\Symbolic\CharSetSolver.cs (11)
60GetOrCreateBDD(k, bdd, BDD.False) :
61GetOrCreateBDD(k, BDD.False, bdd);
202_operationCache[key] = result = GetOrCreateBDD(set.Ordinal, Not(set.One), Not(set.Zero));
273_operationCache[((int)op, set1, set2)] = result = one == two ? one : GetOrCreateBDD(ordinal, one, two);
311upper == 0 ? GetOrCreateBDD(maxBit, Empty, Full) : // lower must also be 0
312lower == 1 ? GetOrCreateBDD(maxBit, Full, Empty) : // upper must also be 1
330return GetOrCreateBDD(maxBit, Empty, zero);
336return GetOrCreateBDD(maxBit, one, Empty);
344return GetOrCreateBDD(maxBit, one, zero);
357BDD leaf = GetOrCreateBDD(terminal, null, null);
372cache[bdd] = result = GetOrCreateBDD(bdd.Ordinal, one, zero);