public virtual void trackNFAStatesThatHaveLabeledEdge(Label label, NFAState stateWithLabeledEdge)
{
HashSet <NFAState> states = typeToNFAStatesWithEdgeOfTypeMap.get(label);
if (states == null)
{
states = new HashSet <NFAState>();
typeToNFAStatesWithEdgeOfTypeMap[label] = states;
}
states.Add(stateWithLabeledEdge);
}
public virtual void trackNFAStatesThatHaveLabeledEdge( Label label, NFAState stateWithLabeledEdge )
{
HashSet<NFAState> states = typeToNFAStatesWithEdgeOfTypeMap.get( label );
if ( states == null )
{
states = new HashSet<NFAState>();
typeToNFAStatesWithEdgeOfTypeMap[label] = states;
}
states.Add( stateWithLabeledEdge );
}
public HashSet<NFAState> getStatesWithEdge( Label label )
{
return typeToNFAStatesWithEdgeOfTypeMap.get( label );
}
public HashSet <NFAState> getStatesWithEdge(Label label)
{
return(typeToNFAStatesWithEdgeOfTypeMap.get(label));
}