private void DoStep1(byte itemIndex) { StateSymbolPair from = tmInstance.CurrentStateSymbolPair; IList <StateSymbolDirectionTriple> to = delta[from]; TMInstance.MoveToNextConfiguration(to[itemIndex], tmInstance); }
private void DoStep1() { StateSymbolPair from = tmInstance.CurrentStateSymbolPair; IList <StateSymbolDirectionTriple> to = delta[from]; Ensure.That(to).SizeIs(1); TMInstance.MoveToNextConfiguration(to[0], tmInstance); }