Changeset 93 for trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/IStochasticProcess.java

Timestamp:

07/04/11 10:35:39 (13 years ago)

Author:

sherbold

Message:

• moved generation of all possible sequences of a fixed length from de.ugoe.cs.eventbench.coverage.CoverageCalculator? to de.ugoe.cs.eventbench.models.IStochasticProcess

File:

• trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/IStochasticProcess.java (modified) (2 diffs)

trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/IStochasticProcess.java

@@ -9 +9 @@
 public interface IStochasticProcess extends Serializable {
         
-        double getProbability(List<Event<?>> context, Event<?> symbol);
+        double getProbability(List<? extends Event<?>> context, Event<?> symbol);
 
         public List<? extends Event<?>> randomSequence();
+        
+        public Set<List<? extends Event<?>>> generateSequences(int length);
         
         public int getNumStates();
@@ -17 +19 @@
         public String[] getStateStrings();
         
-        public Set<Event<?>> getEvents();
+        public Set<? extends Event<?>> getEvents();
 
 }