1 write to Ordinal
System.Text.RegularExpressions (1)
System\Text\RegularExpressions\Symbolic\BDD.cs (1)
72
Ordinal
= ordinal;
32 references to Ordinal
System.Text.RegularExpressions (32)
System\Text\RegularExpressions\Symbolic\BDD.cs (17)
126
result |= (ulong)1 << set.
Ordinal
;
149
(this == bdd || (
Ordinal
== bdd.
Ordinal
&& One == bdd.One && Zero == bdd.Zero));
170
return [0, 0, -
Ordinal
];
180
while (
Ordinal
>= (1 << ordinal_bits))
218
result[i + 2] = -node.
Ordinal
;
223
long v = (((long)node.
Ordinal
) << ordinal_shift) | (idmap[node.One] << one_node_shift) | (idmap[node.Zero] << zero_node_shift);
248
var nonterminals = new List<BDD>[
Ordinal
+ 1];
271
(nonterminals[node.
Ordinal
] ??= new List<BDD>()).Add(node);
428
bdd = (input & (1 << bdd.
Ordinal
)) == 0 ? bdd.Zero : bdd.One;
430
return bdd.
Ordinal
;
524
!other.IsLeaf ||
Ordinal
< other.
Ordinal
? -1 :
525
Ordinal
== other.
Ordinal
? 0 :
539
Ordinal
.CompareTo(other.
Ordinal
);
System\Text\RegularExpressions\Symbolic\BDDRangeConverter.cs (6)
36
return LiftRanges(MaxBit + 1, MaxBit - set.
Ordinal
, rc.ToRangesFromOrdinal(set));
103
int b = set.
Ordinal
;
114
(uint, uint)[] ranges1 = LiftRanges(b, b - set.One.
Ordinal
- 1, ToRangesFromOrdinal(set.One));
132
(uint, uint)[] rangesR = LiftRanges(b, b - set.One.
Ordinal
- 1, ToRangesFromOrdinal(set.One));
158
(uint, uint)[] rangesL = LiftRanges(b, b - set.Zero.
Ordinal
- 1, ToRangesFromOrdinal(set.Zero));
189
(uint, uint)[] rangesR = LiftRanges(b, b - set.One.
Ordinal
- 1, rangesR0);
System\Text\RegularExpressions\Symbolic\CharSetSolver.cs (9)
211
_operationCache[key] = result = GetOrCreateBDD(set.
Ordinal
, Not(set.One), Not(set.Zero));
262
if (set1.IsLeaf || set2.
Ordinal
> set1.
Ordinal
)
267
ordinal = set2.
Ordinal
;
269
else if (set2.IsLeaf || set1.
Ordinal
> set2.
Ordinal
)
273
ordinal = set1.
Ordinal
;
279
ordinal = set1.
Ordinal
;
381
cache[bdd] = result = GetOrCreateBDD(bdd.
Ordinal
, one, zero);