private List <StateTree> GenerateStateTreesFromFile(string filename)
{
List <State> lst_states = StateReader.ReadStatesFromFile(filename);
List <StateTree> lst_statetrees = new List <StateTree>();
foreach (State s in lst_states)
{
lst_statetrees.Add(new StateTree(s));
}
return(lst_statetrees);
}