1 write to One
System.Text.RegularExpressions (1)
System\Text\RegularExpressions\Symbolic\BDD.cs (1)
70
One
= one;
25 references to One
System.Text.RegularExpressions (25)
System\Text\RegularExpressions\Symbolic\BDD.cs (9)
84
[MemberNotNullWhen(false, nameof(
One
))]
90
Debug.Assert((
One
is null) == (Zero is null));
91
return
One
is null;
128
set = set.
One
;
149
(this == bdd || (Ordinal == bdd.Ordinal &&
One
== bdd.
One
&& Zero == bdd.Zero));
425
bdd = (input & (1 << bdd.Ordinal)) == 0 ? bdd.Zero : bdd.
One
;
494
if (visited.Add(node.
One
))
495
toVisit.Push(node.
One
);
System\Text\RegularExpressions\Symbolic\BDDRangeConverter.cs (10)
108
if (set.
One
.IsFull)
114
(uint, uint)[] ranges1 = LiftRanges(b, b - set.
One
.Ordinal - 1, ToRangesFromOrdinal(set.
One
));
126
if (set.
One
.IsEmpty)
132
(uint, uint)[] rangesR = LiftRanges(b, b - set.
One
.Ordinal - 1, ToRangesFromOrdinal(set.
One
));
161
if (set.
One
.IsEmpty)
166
else if (set.
One
.IsFull)
187
(uint, uint)[] rangesR0 = ToRangesFromOrdinal(set.
One
);
189
(uint, uint)[] rangesR = LiftRanges(b, b - set.
One
.Ordinal - 1, rangesR0);
System\Text\RegularExpressions\Symbolic\CharSetSolver.cs (6)
202
_operationCache[key] = result = GetOrCreateBDD(set.Ordinal, Not(set.
One
), Not(set.Zero));
256
one = ApplyBinaryOp(op, set1, set2.
One
);
262
one = ApplyBinaryOp(op, set1.
One
, set2);
268
one = ApplyBinaryOp(op, set1.
One
, set2.
One
);
370
BDD one = ReplaceTrueImpl(bdd.
One
, leaf, cache);