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)
56if (!solver.IsEmpty(solver.And(partition[i], set)))
System\Text\RegularExpressions\Symbolic\CharSetSolver.cs (1)
180result = And(result, sets[i]);
System\Text\RegularExpressions\Symbolic\RegexNodeConverter.cs (1)
471result = charSetSolver.And(result, charSetSolver.Not(subtractorCond));
System\Text\RegularExpressions\Symbolic\UInt64Solver.cs (1)
69if (!solver.IsEmpty(solver.And(partition[i], set)))