3 implementations of And
System.Text.RegularExpressions (3)
System\Text\RegularExpressions\Symbolic\BitVectorSolver.cs (1)
37
public BitVector
And
(BitVector set1, BitVector set2) => BitVector.And(set1, set2);
System\Text\RegularExpressions\Symbolic\CharSetSolver.cs (1)
176
public BDD
And
(BDD a, BDD b) => ApplyBinaryOp(BooleanOperation.And, a, b);
System\Text\RegularExpressions\Symbolic\UInt64Solver.cs (1)
35
public ulong
And
(ulong set1, ulong set2) => set1 & set2;
7 references to And
System.Text.RegularExpressions (7)
System\Text\RegularExpressions\Symbolic\MintermGenerator.cs (2)
63
TSet thisAndOther = solver.
And
(_set, other);
67
TSet thisMinusOther = solver.
And
(_set, solver.Not(other));
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.cs (2)
293
else if (!Solver.IsEmpty(Solver.
And
(_builder._wordLetterForBoundariesSet, minterm)))
295
Debug.Assert(Solver.IsEmpty(Solver.
And
(Solver.Not(_builder._wordLetterForBoundariesSet), minterm)));
System\Text\RegularExpressions\Symbolic\SymbolicRegexNode.cs (3)
1271
if (!builder._solver.IsEmpty(builder._solver.
And
(elem, _set)))
2071
bool contWithWL = CanBeNullable || !builder._solver.IsEmpty(builder._solver.
And
(wlbSet, _set));
2074
bool contWithNWL = CanBeNullable || !builder._solver.IsEmpty(builder._solver.
And
(builder._solver.Not(wlbSet), _set));