3 implementations of IsEmpty
System.Text.RegularExpressions (3)
System\Text\RegularExpressions\Symbolic\BitVectorSolver.cs (1)
35
public bool
IsEmpty
(BitVector set) => set.Equals(Empty);
System\Text\RegularExpressions\Symbolic\CharSetSolver.cs (1)
298
public bool
IsEmpty
(BDD set) => set == Empty;
System\Text\RegularExpressions\Symbolic\UInt64Solver.cs (1)
31
public bool
IsEmpty
(ulong set) => set == 0;
8 references to IsEmpty
System.Text.RegularExpressions (8)
System\Text\RegularExpressions\Symbolic\MintermGenerator.cs (2)
64
if (!solver.
IsEmpty
(thisAndOther))
68
if (!solver.
IsEmpty
(thisMinusOther))
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.cs (2)
293
else if (!Solver.
IsEmpty
(Solver.And(_builder._wordLetterForBoundariesSet, minterm)))
295
Debug.Assert(Solver.
IsEmpty
(Solver.And(Solver.Not(_builder._wordLetterForBoundariesSet), minterm)));
System\Text\RegularExpressions\Symbolic\SymbolicRegexNode.cs (4)
356
return solver.
IsEmpty
(_set);
1271
if (!builder._solver.
IsEmpty
(builder._solver.And(elem, _set)))
2071
bool contWithWL = CanBeNullable || !builder._solver.
IsEmpty
(builder._solver.And(wlbSet, _set));
2074
bool contWithNWL = CanBeNullable || !builder._solver.
IsEmpty
(builder._solver.And(builder._solver.Not(wlbSet), _set));