/*** Get all the states moves as above but starting from a single state ***/
private Set getMoves(string trans_chr, AutomataState state)
{
Set s = new Set();
List<AutomataState> lTrns = state.getAllDestStatesWithStringTransaction(trans_chr);
if (lTrns != null && lTrns.Count > 0)
{
s.addElementRange(lTrns.ToArray());
}
return s;
}
