本文整理匯總了C#中Prolog.LogicVariable.SaveAndUpdate方法的典型用法代碼示例。如果您正苦於以下問題：C# LogicVariable.SaveAndUpdate方法的具體用法？C# LogicVariable.SaveAndUpdate怎麽用？C# LogicVariable.SaveAndUpdate使用的例子？那麽, 這裏精選的方法代碼示例或許可以為您提供幫助。您也可以進一步了解該方法所在類Prolog.LogicVariable的用法示例。
在下文中一共展示了LogicVariable.SaveAndUpdate方法的3個代碼示例，這些例子默認根據受歡迎程度排序。您可以為喜歡或者感覺有用的代碼點讚，您的評價將有助於係統推薦出更棒的C#代碼示例。
示例1: UnifyMetaMeta
/// <summary>
/// This is an attributed variable with attribute myMetaStructure, unify it with attributed variable them, with attribute theirMetaStructure.
/// </summary>
/// <param name="myMetaStructure">This variable's metavalue</param>
/// <param name="theirMetaStructure">The meta-value of the variable we're unifying with</param>
/// <param name="them">The variable to unify with</param>
/// <param name="context">Prolog context</param>
void UnifyMetaMeta(Metastructure myMetaStructure, Metastructure theirMetaStructure, LogicVariable them, PrologContext context)
{
SaveAndUpdate(myMetaStructure.MetaMetaUnify(theirMetaStructure, context), context);
them.SaveAndUpdate(this, context);
}示例2: UnifyMetaVar
/// <summary>
/// This is an atributed variable with metastructure m, unify with unattributed and unbound variable v.
/// </summary>
/// <param name="m">This variable's metavalue</param>
/// <param name="l">The completely unbound logic variable to which we are binding.</param>
/// <param name="context">Prolog context</param>
void UnifyMetaVar(Metastructure m, LogicVariable l, PrologContext context)
{
Debug.Assert(l.MetaBinding == null);
l.SaveAndUpdate(this, context);
this.SaveAndUpdate(m.MetaVarUnify(l, context), context);
}示例3: UnifyMetaVar
void UnifyMetaVar(Metastructure m, LogicVariable l, PrologContext context)
{
System.Diagnostics.Debug.Assert(l.MetaBinding == null);
l.SaveAndUpdate(this, context);
m.MetaVarUnify(l, context);
}