本文整理汇总了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);
}