/// <inheritdoc/> /// <remarks>Additionally checks version compatibility.</remarks> public override int CompareFacts(IFact x, IFact y) { int result = x.CompareTo(y); if (result != 0) { return(result); } result = x.CompareByPriorityParameter(y); if (result != 0) { return(result); } return(x.CompareByVersionParameter(y)); }