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)
90
BDD bdd =
Empty
;
164
return
Empty
;
183
return
Empty
;
197
if (set ==
Empty
)
204
return
Empty
;
229
if (set1 ==
Empty
) return set2;
230
if (set2 ==
Empty
) return set1;
238
if (set1 ==
Empty
|| set2 ==
Empty
) return
Empty
;
243
if (set1 ==
Empty
) return set2;
244
if (set2 ==
Empty
) return set1;
245
if (set1 == set2) return
Empty
;
295
public bool IsFull(BDD set) => ApplyBinaryOp(BooleanOperation.Xor, set, Full) ==
Empty
;
298
public bool IsEmpty(BDD set) => set ==
Empty
;
308
upper < lower ?
Empty
:
320
upper == 0 ? GetOrCreateBDD(maxBit,
Empty
, Full) : // lower must also be 0
321
lower == 1 ? GetOrCreateBDD(maxBit, Full,
Empty
) : // upper must also be 1
339
return GetOrCreateBDD(maxBit,
Empty
, zero);
345
return GetOrCreateBDD(maxBit, one,
Empty
);
System\Text\RegularExpressions\Symbolic\RegexNodeConverter.cs (1)
460
(negate ? charSetSolver.
Empty
: charSetSolver.Full) :
