public void AddPrgState(PrgState p) { prgStates.Add(p); }
public void SetCrtPrgState(PrgState p) { prgStates.Add(p); }