public DFAEntry(List <TNFAState> states, TCheck check, TDFAState state)
: base(states)
{
this.DFA = state;
state.PushContext(check, states);
bool noEdge = states.Any(p => p.ForcedNoEdge);
bool isEdge = states.Any(p => p.IsEdge);
if (noEdge)
{
this.DFA.ForcedNoEdge = true;
}
else if (isEdge)
{
this.DFA.IsEdge = true;
}
}
public DFAEntrySet(TCheck condition)
{
this.Condition = condition;
}