private void PopState() { st = (AdmissibilityState) StateStack.Pop(); }
private void ResetCurrentState() { st = new AdmissibilityState(); }