3 implementations of Not
System.Text.RegularExpressions (3)
System\Text\RegularExpressions\Symbolic\BitVectorSolver.cs (1)
39
public BitVector
Not
(BitVector set) => BitVector.Not(set);
System\Text\RegularExpressions\Symbolic\CharSetSolver.cs (1)
195
public BDD
Not
(BDD set)
System\Text\RegularExpressions\Symbolic\UInt64Solver.cs (1)
37
public ulong
Not
(ulong set) => Full & ~set; //NOTE: must filter off unused bits
3 references to Not
System.Text.RegularExpressions (3)
System\Text\RegularExpressions\Symbolic\MintermGenerator.cs (1)
67
TSet thisMinusOther = solver.And(_set, solver.
Not
(other));
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.cs (1)
266
Debug.Assert(Solver.IsEmpty(Solver.And(Solver.
Not
(_builder._wordLetterForBoundariesSet), minterm)));
System\Text\RegularExpressions\Symbolic\SymbolicRegexNode.cs (1)
2078
bool contWithNWL = CanBeNullable || !builder._solver.IsEmpty(builder._solver.And(builder._solver.
Not
(wlbSet), _set));