/** * 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(); }