27 references to _solver
System.Text.RegularExpressions (27)
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.cs (7)
139private ISolver<TSet> Solver => _builder._solver; 153CharSetSolver charSetSolver = (CharSetSolver)bddBuilder._solver; 171Debug.Assert(builder._solver is UInt64Solver or BitVectorSolver, $"Unsupported solver: {builder._solver}"); 177TSet[]? solverMinterms = builder._solver.GetMinterms(); 184_mintermClassifier = builder._solver is UInt64Solver bv64 ? 186((BitVectorSolver)(object)builder._solver)._classifier;
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.Dgml.cs (1)
201WebUtility.HtmlEncode(builder._solver.PrettyPrint(label, builder._charSetSolver));
System\Text\RegularExpressions\Symbolic\SymbolicRegexNode.cs (19)
379Create(builder, SymbolicRegexNodeKind.Singleton, null, null, -1, -1, builder._solver.Empty, default); 382Create(builder, SymbolicRegexNodeKind.Singleton, null, null, -1, -1, builder._solver.Full, default); 490if (left.IsAnyStar(builder._solver) || right.IsNothing(builder._solver) || left == right || (left.IsNullable && right.IsEpsilon)) 618if (other.IsNothing(builder._solver)) 1271if (!builder._solver.IsEmpty(builder._solver.And(elem, _set))) 1670sb.Append(_debugBuilder._solver.PrettyPrint(_set, _debugBuilder._charSetSolver)); 1675if (IsAnyStar(_debugBuilder._solver)) 1899MintermGenerator<TSet>.GenerateMinterms(builder._solver, GetSets(builder)).ToArray(); 2029return builder._solver.Empty; 2037return left.CanBeNullable ? builder._solver.Or(left._set, right._set) : left._set; 2041return builder._solver.Or(left._set, right._set); 2050return builder._solver.Full; 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));