|
Last change
on this file since 93 was
93,
checked in by sherbold, 13 years ago
|
- moved generation of all possible sequences of a fixed length from de.ugoe.cs.eventbench.coverage.CoverageCalculator? to de.ugoe.cs.eventbench.models.IStochasticProcess
|
-
Property svn:mime-type set to
text/plain
|
|
File size:
554 bytes
|
| Line | |
|---|
| 1 | package de.ugoe.cs.eventbench.models;
|
|---|
| 2 |
|
|---|
| 3 | import java.io.Serializable;
|
|---|
| 4 | import java.util.List;
|
|---|
| 5 | import java.util.Set;
|
|---|
| 6 |
|
|---|
| 7 | import de.ugoe.cs.eventbench.data.Event;
|
|---|
| 8 |
|
|---|
| 9 | public interface IStochasticProcess extends Serializable {
|
|---|
| 10 |
|
|---|
| 11 | double getProbability(List<? extends Event<?>> context, Event<?> symbol);
|
|---|
| 12 |
|
|---|
| 13 | public List<? extends Event<?>> randomSequence();
|
|---|
| 14 |
|
|---|
| 15 | public Set<List<? extends Event<?>>> generateSequences(int length);
|
|---|
| 16 |
|
|---|
| 17 | public int getNumStates();
|
|---|
| 18 |
|
|---|
| 19 | public String[] getStateStrings();
|
|---|
| 20 |
|
|---|
| 21 | public Set<? extends Event<?>> getEvents();
|
|---|
| 22 |
|
|---|
| 23 | } |
|---|
Note: See
TracBrowser
for help on using the repository browser.
