コード例 #1
0
ファイル: PrologMachine.cs プロジェクト: russlank/Prolog.NET 
        void SynchronizeVariables()
        {
            TemporaryVariables.Synchronize(GetTemporaryVariables());

            Arguments.Synchronize(GetArgumentVariables());

            for (int stackIndex = 0; stackIndex <= WamMachine.StackIndex; ++stackIndex)
            {
                var stackFrame = StackFrames[stackIndex];
                stackFrame.Variables.Synchronize(GetPermanentVariables(stackIndex, false));
            }
        }