/**
* This method returns the next error path for interpolation.
*
* @return the next error path for a subsequent interpolation
*/
public ARGPath getNextPathForInterpolation() {
return strategy.getNextPathForInterpolation();
}
/**
* This method returns the interpolant to be used for interpolation of the given path.
*
* @param errorPath the path for which to obtain the initial interpolant
* @return the initial interpolant for the given path
*/
public I getInitialInterpolantForPath(ARGPath errorPath) {
return strategy.getInitialInterpolantForRoot(errorPath.getFirstState());
}
/**
* This method decides whether or not there are more paths left for interpolation.
*
* @return true if there are more paths left for interpolation, else false
*/
public boolean hasNextPathForInterpolation() {
interpolationCounter++;
return strategy.hasNextPathForInterpolation();
}
