Changeset 1542 for trunk/autoquest-plugin-alignment/src/main/java/de/ugoe/cs/autoquest/plugin/alignment/seqgen/SequenceGenerator.java

Timestamp:

05/07/14 15:59:10 (10 years ago)

Author:

rkrimmel

Message:

pre-catastraphic-changes-commit

File:

• trunk/autoquest-plugin-alignment/src/main/java/de/ugoe/cs/autoquest/plugin/alignment/seqgen/SequenceGenerator.java (modified) (1 diff)

trunk/autoquest-plugin-alignment/src/main/java/de/ugoe/cs/autoquest/plugin/alignment/seqgen/SequenceGenerator.java

@@ -10 +10 @@
         public void generate(Collection<List<Event>> eventList);
         public NumberSequence get(int index);
+        public int sequenceCount();