de.learnlib.acex

Interface AcexAnalyzer

All Known Implementing Classes:

NamedAcexAnalyzer

public interface AcexAnalyzer

Interface for an analyzer of AbstractCounterexamples.

Author:

Malte Isberner

Method Summary

Modifier and Type	Method and 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

default int analyzeAbstractCounterexample(AbstractCounterexample acex,
                                          int low)

analyzeAbstractCounterexample

int analyzeAbstractCounterexample(AbstractCounterexample acex,
                                  int low,
                                  int high)