Implemented interface member:
method
And
System.Text.RegularExpressions.Symbolic.ISolver<TSet>.And(TSet, TSet)
4 references to And
System.Text.RegularExpressions (4)
System\Text\RegularExpressions\Symbolic\BitVectorSolver.cs (1)
56
if (!solver.IsEmpty(solver.
And
(partition[i], set)))
System\Text\RegularExpressions\Symbolic\CharSetSolver.cs (1)
180
result =
And
(result, sets[i]);
System\Text\RegularExpressions\Symbolic\RegexNodeConverter.cs (1)
471
result = charSetSolver.
And
(result, charSetSolver.Not(subtractorCond));
System\Text\RegularExpressions\Symbolic\UInt64Solver.cs (1)
69
if (!solver.IsEmpty(solver.
And
(partition[i], set)))