Implemented interface member:
method
And
System.Text.RegularExpressions.Symbolic.ISolver<TSet>.And(TSet, TSet)
7 references to And
System.Text.RegularExpressions (7)
System\Text\RegularExpressions\Symbolic\BitVectorSolver.cs (1)
56
if (!solver.IsEmpty(solver.
And
(partition[i], set)))
System\Text\RegularExpressions\Symbolic\CharSetSolver.cs (1)
189
result =
And
(result, sets[i]);
System\Text\RegularExpressions\Symbolic\MintermClassifier.cs (1)
87
BDD nonAsciiBDD = solver.
And
(anyCharacterToMintermId, solver.NonAscii);
System\Text\RegularExpressions\Symbolic\RegexNodeConverter.cs (1)
471
result = charSetSolver.
And
(result, charSetSolver.Not(subtractorCond));
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.Sample.cs (2)
51
BDD asciiNonWordCharacters = charSetSolver.
And
(ascii, charSetSolver.Not(asciiWordCharacters));
178
BDD bdd1 = charSetSolver.
And
(bdd, ascii);
System\Text\RegularExpressions\Symbolic\UInt64Solver.cs (1)
69
if (!solver.IsEmpty(solver.
And
(partition[i], set)))
