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));