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