Implemented interface member:
property
Empty
System.Text.RegularExpressions.Symbolic.ISolver<TSet>.Empty
22 references to Empty
System.Text.RegularExpressions (22)
System\Text\RegularExpressions\Symbolic\BitVectorSolver.cs (1)
76
BDD result = solver.
Empty
;
System\Text\RegularExpressions\Symbolic\CharSetSolver.cs (20)
81
BDD bdd =
Empty
;
155
return
Empty
;
174
return
Empty
;
188
if (set ==
Empty
)
195
return
Empty
;
220
if (set1 ==
Empty
) return set2;
221
if (set2 ==
Empty
) return set1;
229
if (set1 ==
Empty
|| set2 ==
Empty
) return
Empty
;
234
if (set1 ==
Empty
) return set2;
235
if (set2 ==
Empty
) return set1;
236
if (set1 == set2) return
Empty
;
286
public bool IsFull(BDD set) => ApplyBinaryOp(BooleanOperation.Xor, set, Full) ==
Empty
;
289
public bool IsEmpty(BDD set) => set ==
Empty
;
299
upper < lower ?
Empty
:
311
upper == 0 ? GetOrCreateBDD(maxBit,
Empty
, Full) : // lower must also be 0
312
lower == 1 ? GetOrCreateBDD(maxBit, Full,
Empty
) : // upper must also be 1
330
return GetOrCreateBDD(maxBit,
Empty
, zero);
336
return GetOrCreateBDD(maxBit, one,
Empty
);
System\Text\RegularExpressions\Symbolic\RegexNodeConverter.cs (1)
460
(negate ? charSetSolver.
Empty
: charSetSolver.Full) :
