public TimeStep(EnvironmentTimeStep environmentTimeStep) { EnvironmentTimeStep = environmentTimeStep; TuringMachineTimeStep = default(TuringMachineTimeStep); }
public void Record(EnvironmentTimeStep environmentTimeStep, TuringMachineTimeStep turingTimeStep) { _recordedTimeSteps.Add(new TimeStep(environmentTimeStep, turingTimeStep)); }
public TimeStep(EnvironmentTimeStep environmentTimeStep, TuringMachineTimeStep turingMachineTimeStep) { EnvironmentTimeStep = environmentTimeStep; TuringMachineTimeStep = turingMachineTimeStep; }