public Repository(String logFilePath, PrgState initialState) { prepareLogFilePath(logFilePath); this.states = new List <PrgState>(); this.states.Add(initialState); }