SaveVariable() public method

Saves the current value of a variable on the trail (i.e. the undo stack).
public SaveVariable ( LogicVariable lvar ) : void
lvar LogicVariable
return void
PrologContext Class Documentation
Beispiel #1
0
 /// <summary>
 /// Saves variable to the trail and updates it.
 /// </summary>
 void SaveAndUpdate(object value, PrologContext context)
 {
     context.SaveVariable(this);
     mValue = value;
 }
Beispiel #2
0
        // ReSharper restore InconsistentNaming
        #endregion

        #region Trace-based Unification
        /// <summary>
        /// Saves variable to the trail and updates it.
        /// </summary>
        void SaveAndUpdate(object value, PrologContext context)
        {
            context.SaveVariable(this);
            mValue = value;
        }