HOL-master/examples/lassie/sempre/src/edu/stanford/nlp/sempre/DerivationStream.java
package edu.stanford.nlp.sempre;

import java.util.Iterator;

/**
 * Represents a stream of Derivations which are constructed lazily for efficiency.
 * Use either SingleDerivationStream or MultipleDerivationStream.
 * Created by joberant on 3/14/14.
 */
public interface DerivationStream extends Iterator<Derivation> {
  Derivation peek();
  int estimatedSize();
}
