1 write to _solver
System.Text.RegularExpressions (1)
System\Text\RegularExpressions\Symbolic\SymbolicRegexBuilder.cs (1)
135
_solver
= solver;
39 references to _solver
System.Text.RegularExpressions (39)
System\Text\RegularExpressions\Symbolic\RegexNodeConverter.cs (8)
62
result.AddLast(_builder.CreateSingleton(_builder.
_solver
.Not(_builder._charSetSolver.CreateBDDFromChar(node.Ch))));
115
bdd = _builder.
_solver
.Not(bdd);
237
if (elem.IsNothing(_builder.
_solver
))
242
or = elem.IsAnyStar(_builder.
_solver
) ?
294
if (_builder._newLineSet.Equals(_builder.
_solver
.Empty))
303
if (_builder._wordLetterForBoundariesSet.Equals(_builder.
_solver
.Empty))
306
_builder._wordLetterForBoundariesSet = UnicodeCategoryConditions.WordLetterForAnchors((CharSetSolver)_builder.
_solver
);
346
var charSetSolver = (CharSetSolver)_builder.
_solver
;
System\Text\RegularExpressions\Symbolic\SymbolicRegexBuilder.cs (3)
152
_singletonCache[
_solver
.Empty] = _nothing;
153
_singletonCache[
_solver
.Full] = _anyChar;
235
if (
_solver
.IsFull(node._set))
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.cs (8)
139
private ISolver<TSet> Solver => _builder.
_solver
;
153
CharSetSolver charSetSolver = (CharSetSolver)bddBuilder.
_solver
;
164
SymbolicRegexNode<TSet> rootNode = bddBuilder.Transform(rootBddNode, builder, (builder, bdd) => builder.
_solver
.ConvertFromBDD(bdd, charSetSolver));
171
Debug.Assert(builder.
_solver
is UInt64Solver or BitVectorSolver, $"Unsupported solver: {builder.
_solver
}");
177
TSet[]? 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)
201
WebUtility.HtmlEncode(builder.
_solver
.PrettyPrint(label, builder._charSetSolver));
System\Text\RegularExpressions\Symbolic\SymbolicRegexNode.cs (19)
379
Create(builder, SymbolicRegexNodeKind.Singleton, null, null, -1, -1, builder.
_solver
.Empty, default);
382
Create(builder, SymbolicRegexNodeKind.Singleton, null, null, -1, -1, builder.
_solver
.Full, default);
490
if (left.IsAnyStar(builder.
_solver
) || right.IsNothing(builder.
_solver
) || left == right || (left.IsNullable && right.IsEpsilon))
618
if (other.IsNothing(builder.
_solver
))
1271
if (!builder.
_solver
.IsEmpty(builder.
_solver
.And(elem, _set)))
1670
sb.Append(_debugBuilder.
_solver
.PrettyPrint(_set, _debugBuilder._charSetSolver));
1675
if (IsAnyStar(_debugBuilder.
_solver
))
1899
MintermGenerator<TSet>.GenerateMinterms(builder.
_solver
, GetSets(builder)).ToArray();
2029
return builder.
_solver
.Empty;
2037
return left.CanBeNullable ? builder.
_solver
.Or(left._set, right._set) : left._set;
2041
return builder.
_solver
.Or(left._set, right._set);
2050
return builder.
_solver
.Full;
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));