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
5 references to Not
System.Text.RegularExpressions (5)
System\Text\RegularExpressions\Symbolic\MintermGenerator.cs (1)
67
TSet thisMinusOther = solver.And(_set, solver.
Not
(other));
System\Text\RegularExpressions\Symbolic\RegexNodeConverter.cs (2)
62
result.AddLast(_builder.CreateSingleton(_builder._solver.
Not
(_builder._charSetSolver.CreateBDDFromChar(node.Ch))));
115
bdd = _builder._solver.
Not
(bdd);
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.cs (1)
295
Debug.Assert(Solver.IsEmpty(Solver.And(Solver.
Not
(_builder._wordLetterForBoundariesSet), minterm)));
System\Text\RegularExpressions\Symbolic\SymbolicRegexNode.cs (1)
2074
bool contWithNWL = CanBeNullable || !builder._solver.IsEmpty(builder._solver.And(builder._solver.
Not
(wlbSet), _set));