11 references to Solver
System.Text.RegularExpressions (11)
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.Automata.cs (1)
303
if (coreState.IsDeadend(
Solver
))
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.cs (5)
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\SymbolicRegexMatcher.Dgml.cs (4)
163
entry = (matcher.
Solver
.Empty, new List<int>());
175
result[key] = (matcher.
Solver
.Or(entry.Rule, matcher._minterms[i]), entry.NfaTargets);
187
sb.Append($"Min Terms ({matcher.
Solver
.GetMinterms()!.Length}) = ").AppendJoin(',',
188
DescribeLabels(matcher.
Solver
.GetMinterms()!, matcher._builder));
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.Sample.cs (1)
143
inputSoFar.Append(ChooseChar(random, ToBDD(minterm,
Solver
, charSetSolver), ascii, charSetSolver));