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);
}