public void removeState(Data_State s) { this.path.Remove(s); }
public void addState(Data_State s) { this.path.Add(s); }