UnifyArrays() static private method

Unifies two arrays of variable length
static private UnifyArrays ( object a1, object a2 ) : IEnumerable
a1 object
a2 object
return IEnumerable
Term Class Documentation
コード例 #1
0
        internal override IEnumerable <CutState> Prove(object[] args, PrologContext context, ushort parentFrame)
        {
            var newVars = new LogicVariable[FreeVariables.Count];

            object[] newArgs = Term.AlphaConvertArglist(HeadArgs, FreeVariables, newVars, context, true);
            // ReSharper disable UnusedVariable
#pragma warning disable 414, 168, 219
            foreach (bool ignore in Term.UnifyArrays(args, newArgs))
#pragma warning restore 414, 168, 219
            {
                // ReSharper restore UnusedVariable
                yield return(CutState.Continue);
            }
        }