Axiom.Runtime.Choicepoint.UnsaveRegisters C# (CSharp) Method

        public void UnsaveRegisters(AbstractMachineState state, int count)
        {
            for (int i = 0; i < count; i++)
            {
                AbstractTerm Xi = (AbstractTerm)state["X" + i.ToString()];
                Xi.Assign((AbstractTerm)_savedVariables[i]);
            }
        }