if (!analysis.isTop(predFact)) { predCount++; if (predLastUpdated >= lastCalculated) { if (analysis.isTop(start)) { debug(block, logicalPred, edge, "\n First pred is " + analysis.factToString(edgeFact) + "\n last updated at " + analysis.getLastUpdateTimestamp(predFact) + "\n"); boolean resultWasTop = analysis.isTop(result); Fact origResult = null; if (!resultWasTop) { thisResultChanged = !analysis.isTop(result); } else { thisResultChanged = !analysis.same(result, origResult);
if (!analysis.isTop(predFact)) { predCount++; if (predLastUpdated >= lastCalculated) { if (analysis.isTop(start)) { debug(block, logicalPred, edge, "\n First pred is " + analysis.factToString(edgeFact) + "\n last updated at " + analysis.getLastUpdateTimestamp(predFact) + "\n"); boolean resultWasTop = analysis.isTop(result); Fact origResult = null; if (!resultWasTop) { thisResultChanged = !analysis.isTop(result); } else { thisResultChanged = !analysis.same(result, origResult);