Beispiel #1
0
        private void DoStep1(byte itemIndex)
        {
            StateSymbolPair from = tmInstance.CurrentStateSymbolPair;
            IList <StateSymbolDirectionTriple> to = delta[from];

            TMInstance.MoveToNextConfiguration(to[itemIndex], tmInstance);
        }
Beispiel #2
0
        private void DoStep1()
        {
            StateSymbolPair from = tmInstance.CurrentStateSymbolPair;
            IList <StateSymbolDirectionTriple> to = delta[from];

            Ensure.That(to).SizeIs(1);

            TMInstance.MoveToNextConfiguration(to[0], tmInstance);
        }