6 references to Solver
System.Text.RegularExpressions (6)
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)));