/** Return true if this choice point could usefully be restarted. */ public boolean isReady() { return generator.numResults() > resultIndex; }
/** Return true if this choice point could usefully be restarted. */ public boolean isReady() { return generator.numResults() > resultIndex; }