C# (CSharp) Prolog PrologContext.SaveVariable Examples

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

Example #1

File: LogicVariable.cs Project: ianhorswill/UnityProlog

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

Example #2

File: LogicVariable.cs Project: mantoun/MKULTRA

        // 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;
        }