private void SynchronizeVariables()
{
TemporaryVariables.Synchronize(GetTemporaryVariables());
Arguments.Synchronize(GetArgumentVariables());
for (int stackIndex = 0; stackIndex <= WamMachine.StackIndex; ++stackIndex)
{
PrologStackFrame stackFrame = StackFrames[stackIndex];
stackFrame.Variables.Synchronize(GetPermanentVariables(stackIndex, false));
}
}
void OnStackFrameChanged(PrologStackFrame stackFrame)
{
Variables = stackFrame!=null ? stackFrame.Variables : null;
}
void OnStackFrameChanged(PrologStackFrame stackFrame)
{
Instructions = stackFrame != null ? stackFrame.InstructionStream : null;
}
