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;
}
