protected void updateARG(PredicatePrecision pNewPrecision, ARGState pRefinementRoot)
throws InterruptedException {
argUpdate.start();
List<Precision> precisions = new ArrayList<>(2);
List<Predicate<? super Precision>> precisionTypes = new ArrayList<>(2);
precisions.add(pNewPrecision);
precisionTypes.add(Predicates.instanceOf(PredicatePrecision.class));
UnmodifiableReachedSet unmodifiableReached = reached.asReachedSet();
if (isValuePrecisionAvailable(pRefinementRoot)) {
precisions.add(mergeAllValuePrecisionsFromSubgraph(pRefinementRoot, unmodifiableReached));
precisionTypes.add(VariableTrackingPrecision.isMatchingCPAClass(ValueAnalysisCPA.class));
}
reached.removeSubtree(pRefinementRoot, precisions, precisionTypes);
if (sharePredicates) {
reached.updatePrecisionGlobally(
pNewPrecision, Predicates.instanceOf(PredicatePrecision.class));
}
argUpdate.stop();
}
