/**
* Notify that this consumer choice point has finished consuming all the results of a closed
* generator.
*/
public void setFinished() {
context.notifyFinished(this);
}
/**
* Notify that this consumer choice point has finished consuming all the results of a closed
* generator.
*/
public void setFinished() {
context.notifyFinished(this);
}