|
public MetaVarUnify ( |
||
| them | The logic variable with which to unify | |
| filter | IEnumerable |
Test for whether the merging succeeded. Generally a woken goal. |
| return | ||
IEnumerable <bool> UnifyMetaVar(Metastructure m, LogicVariable l)
{
System.Diagnostics.Debug.Assert(l.MetaBinding == null);
l.Value = this;
IEnumerable <CutState> goal;
mValue = m.MetaVarUnify(l, out goal);
try
{
#pragma warning disable 414, 168, 219
// ReSharper disable UnusedVariable
foreach (var ignore in goal)
// ReSharper restore UnusedVariable
#pragma warning restore 414, 168, 219
{
yield return(false);
}
}
finally
{
// Reset our own binding to its previous binding
mValue = m;
// Reset binding of l
l.mValue = l;
//l.IsBound = false;
}
}
IEnumerable<bool> UnifyMetaVar(Metastructure m, LogicVariable l)
{
Debug.Assert(l.MetaBinding == null);
l.Value = this;
IEnumerable<CutState> goal;
mValue = (object)m.MetaVarUnify(l, out goal)??this;
try
{
#pragma warning disable 414, 168, 219
// ReSharper disable UnusedVariable
foreach (var ignore in goal)
// ReSharper restore UnusedVariable
#pragma warning restore 414, 168, 219
yield return false;
}
finally
{
// Reset our own binding to its previous binding
mValue = m;
// Reset binding of l
l.mValue = l;
//l.IsBound = false;
}
}
/// <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);
}
void UnifyMetaVar(Metastructure m, LogicVariable l, PrologContext context)
{
System.Diagnostics.Debug.Assert(l.MetaBinding == null);
l.SaveAndUpdate(this, context);
m.MetaVarUnify(l, context);
}
/// <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)
{
System.Diagnostics.Debug.Assert(l.MetaBinding == null);
l.SaveAndUpdate(this, context);
this.SaveAndUpdate(m.MetaVarUnify(l, context), context);
}