Modifier and Type | Field and Description |
---|---|
private Iterator<SequentFormula> |
forIt |
Constructor and Description |
---|
SequentFormulasGenerator.SFIterator(Iterator<SequentFormula> forIt) |
private final Iterator<SequentFormula> forIt
public SequentFormulasGenerator.SFIterator(Iterator<SequentFormula> forIt)