public final class TestMinimiser
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static Test |
minimise(java.util.Map<Sequence,EfsmTransitionCoverage> sequencesCoverage)
Minimises the specified set of sequences by excluding redundant (in terms of coverage)
sequences.
|
public static Test minimise(java.util.Map<Sequence,EfsmTransitionCoverage> sequencesCoverage)
sequencesCoverage
- a mappings between source sequences and sets of transitions covered by them