src/main/java/org/semgus/java/problem/ProblemGenerator.java
public static SemgusProblem fromEvents(Iterable<SpecEvent> events) {
        ProblemGenerator problemGen = new ProblemGenerator();
        for (SpecEvent event : events) {
            problemGen.consume(event);
        }
        return problemGen.end();
    }
/**
     * Collects data from a series of SemGuS parser events into a {@link SemgusProblem} data structure.
     *
     * @param events The parser events.
     * @return The deserialized SemGuS problem.
     */
Collects data from a series of SemGuS parser events into a  SemgusProblem data structure.
@param events The parser events.
@return The deserialized SemGuS problem.
Collects data from a series of SemGuS parser events into a SemgusProblem data structure . @param events The parser events . @return The deserialized SemGuS problem .
public static SemgusProblem fromEvents(Iterable<SpecEvent> events) {
        ProblemGenerator problemGen = new ProblemGenerator();
        for (SpecEvent event : events) {
            problemGen.consume(event);
        }
        return problemGen.end();
    }
public static SemgusProblem fromEvents ( Iterable < SpecEvent > events ) { ProblemGenerator problemGen = new ProblemGenerator ( ) ; for ( SpecEvent event : events ) { problemGen . consume ( event ) ; } return problemGen . end ( ) ; }
Collects data from a series of SemGuS parser events into a {@link SemgusProblem} data structure.
Collects data from a series of SemGuS parser events into a { @link SemgusProblem } data structure .