public int compareR(FunctionApplicationFormula him, IDictionary <LVar, int> myVM, IDictionary <LVar, int> hisVM) { if (function.Equals(him.function)) { for (var i = 0; i < args.Count(); i++) { var tr = him.args[i].compare(args[i], hisVM, myVM); if (tr != 0) { return(tr); } } return(0); } else { return(him.function.name.CompareTo(function.name)); } }
public int compareR(FunctionApplicationFormula other, IDictionary <LVar, int> myVM, IDictionary <LVar, int> hisVM) { return(-1); }