1 write to Id
System.Text.RegularExpressions (1)
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.Automata.cs (1)
170
state.
Id
= _stateCache.Count;
21 references to Id
System.Text.RegularExpressions (21)
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.Automata.cs (9)
121
return _dfaDelta.AsSpan(state.
Id
<< _mintermsLog, numMinterms);
129
if (!_nfaIdByCoreId.TryGetValue(state.
Id
, out int nfaState))
174
if (state.
Id
== _stateArray.Length)
182
_stateArray[state.
Id
] = state;
183
_stateFlagsArray[state.
Id
] = state.BuildStateFlags(Solver, isInitialState);
221
if (!_nfaIdByCoreId.TryGetValue(coreState.
Id
, out int nfaStateId))
239
_nfaCoreIdArray[nfaStateId] = coreState.
Id
;
243
_nfaIdByCoreId.Add(coreState.
Id
, nfaStateId);
288
Volatile.Write(ref _dfaDelta[offset], targetState.
Id
);
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.cs (3)
917
DfaStateId = dfaState.
Id
;
986
state.DfaStateId = nextState.
Id
;
1045
return coreState.
Id
;
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.Dgml.cs (6)
37
writer.WriteLine(" <Node Id=\"{0}\" Label=\"{0}\" Category=\"State\" Group=\"Collapsed\" StateInfo=\"{1}\">", state.
Id
, nodeDgmlView);
38
if (_stateFlagsArray[state.
Id
].IsInitial())
47
writer.WriteLine(" <Node Id=\"{0}info\" Label=\"{1}\" Category=\"StateInfo\"/>", state.
Id
, nodeDgmlView);
53
writer.WriteLine(" <Link Source=\"dfa\" Target=\"{0}\" Label=\"\" Category=\"StartTransition\" />", initialState.
Id
);
78
writer.WriteLine(" <Link Source=\"{0}\" Target=\"{0}info\" Category=\"Contains\" />", state.
Id
);
160
(int Source, int Target) key = (source.
Id
, targetId);
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.Explore.cs (3)
43
int offset = DeltaOffset(state.
Id
, mintermId);
81
int nfaOffset = DeltaOffset(_nfaIdByCoreId[state.
Id
], mintermId);
82
int[] nextNfaStates = CreateNewNfaTransition(_nfaIdByCoreId[state.
Id
], mintermId, nfaOffset);