1 write to One
System.Text.RegularExpressions (1)
System\Text\RegularExpressions\Symbolic\BDD.cs (1)
70
One
= one;
28 references to One
System.Text.RegularExpressions (28)
System\Text\RegularExpressions\Symbolic\BDD.cs (12)
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));
223
long v = (((long)node.Ordinal) << ordinal_shift) | (idmap[node.
One
] << one_node_shift) | (idmap[node.Zero] << zero_node_shift);
276
if (visited.Add(node.
One
))
277
toVisit.Push(node.
One
);
428
bdd = (input & (1 << bdd.Ordinal)) == 0 ? bdd.Zero : bdd.
One
;
497
if (visited.Add(node.
One
))
498
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)
211
_operationCache[key] = result = GetOrCreateBDD(set.Ordinal, Not(set.
One
), Not(set.Zero));
265
one = ApplyBinaryOp(op, set1, set2.
One
);
271
one = ApplyBinaryOp(op, set1.
One
, set2);
277
one = ApplyBinaryOp(op, set1.
One
, set2.
One
);
379
BDD one = ReplaceTrueImpl(bdd.
One
, leaf, cache);