static private UnifyArrays ( object a1, object a2 ) : IEnumerable |
||
a1 | object | |
a2 | object | |
return | IEnumerable |
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); } }