Ignore:
Timestamp:
05/07/14 15:59:10 (10 years ago)
Author:
rkrimmel
Message:

pre-catastraphic-changes-commit

Location:
trunk/autoquest-plugin-alignment/src/main/java/de/ugoe/cs/autoquest/plugin/alignment/seqgen
Files:
4 edited

Legend:

Unmodified
Added
Removed
  • trunk/autoquest-plugin-alignment/src/main/java/de/ugoe/cs/autoquest/plugin/alignment/seqgen/NumberSequence.java

    r1450 r1542  
    11package de.ugoe.cs.autoquest.plugin.alignment.seqgen; 
    22 
     3import java.io.Serializable; 
    34import java.util.ArrayList; 
    45 
    5 public class NumberSequence { 
     6public class NumberSequence implements Serializable { 
    67        private int[] sequence; 
    78        private int signature; 
  • trunk/autoquest-plugin-alignment/src/main/java/de/ugoe/cs/autoquest/plugin/alignment/seqgen/RandomSequenceGenerator.java

    r1449 r1542  
    3737                return null; 
    3838        } 
     39 
     40        @Override 
     41        public int sequenceCount() { 
     42                return count; 
     43        } 
     44         
    3945} 
  • trunk/autoquest-plugin-alignment/src/main/java/de/ugoe/cs/autoquest/plugin/alignment/seqgen/SequenceGenerator.java

    r1450 r1542  
    1010        public void generate(Collection<List<Event>> eventList); 
    1111        public NumberSequence get(int index); 
     12        public int sequenceCount(); 
    1213         
    1314         
  • trunk/autoquest-plugin-alignment/src/main/java/de/ugoe/cs/autoquest/plugin/alignment/seqgen/SimpleSequenceGenerator.java

    r1449 r1542  
    22 
    33 
     4import java.io.Serializable; 
    45import java.util.ArrayList; 
    56import java.util.Collection; 
     
    2021 
    2122 
    22 public class SimpleSequenceGenerator implements SequenceGenerator { 
     23public class SimpleSequenceGenerator implements SequenceGenerator, Serializable { 
    2324 
    2425        private ArrayList<NumberSequence> numberseqs; 
     
    4243                if (sequences != null) { 
    4344                        TaskTreeManager ttm = new TaskTreeManager(); 
    44                         Console.println("Creating the task model"); 
     45                         
    4546                        ttm.createTaskModel(sequences); 
    46                         Console.println("Finished creating the task model"); 
     47                         
    4748                        TaskHandlingStrategy preparationTaskHandlingStrategy  = new TaskHandlingStrategy(TaskEquality.SEMANTICALLY_EQUAL); 
    4849                        SymbolMap<ITaskInstance, ITask> uniqueTasks = preparationTaskHandlingStrategy 
     
    8485 
    8586 
    86         @Override 
    8787        public NumberSequence get(int index) { 
    8888                return numberseqs.get(index); 
    8989        } 
    9090 
     91 
     92        public int sequenceCount() { 
     93                return numberseqs.size(); 
     94        } 
     95 
    9196} 
    9297         
Note: See TracChangeset for help on using the changeset viewer.