AbstractCounterexample (LearnLib 0.17.0 API)

All Known Implementing Classes:

AbstractBaseCounterexample, ClassicPrefixTransformAcex, KearnsVaziraniDFA.KVAbstractCounterexample, KearnsVaziraniMealy.KVAbstractCounterexample, MealyOutInconsPrefixTransformAcex, MooreOutInconsPrefixTransformAcex, OPLearnerVPA.PrefixTransformAcex, OutInconsPrefixTransformAcex
```
public interface AbstractCounterexample<E>
```

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`boolean`	`checkEffects(E eff1, E eff2)`
`E`	`effect(int index)`
`int`	`getLength()`
`default boolean`	`testEffects(int i, int j)`

Method Detail

getLength
```
int getLength()
```

testEffects

default boolean testEffects(int i,
                            int j)

checkEffects

boolean checkEffects(E eff1,
                     E eff2)

effect
```
E effect(int index)
```