Package de.learnlib.acex

Interface AcexAnalyzer

All Known Implementing Classes:

AbstractNamedAcexAnalyzer

public interface AcexAnalyzer

Method Summary

Modifier and Type	Method	Description
default int	analyzeAbstractCounterexample(AbstractCounterexample<?> acex)	Analyzes an abstract counterexample.
default int	analyzeAbstractCounterexample(AbstractCounterexample<?> acex, int low)
int	analyzeAbstractCounterexample(AbstractCounterexample<?> acex, int low, int high)

Method Detail

analyzeAbstractCounterexample

default int analyzeAbstractCounterexample(AbstractCounterexample<?> acex)

Analyzes an abstract counterexample. This method returns the index of the corresponding distinguishing suffix.

Parameters:

acex - the abstract counterexample

Returns:

the suffix index

analyzeAbstractCounterexample

int analyzeAbstractCounterexample(AbstractCounterexample<?> acex,
                                  int low,
                                  int high)

analyzeAbstractCounterexample

default int analyzeAbstractCounterexample(AbstractCounterexample<?> acex,
                                          int low)