| Class | Description |
|---|---|
| ADS |
General purpose facade for computing adaptive distinguishing sequences.
|
| ADSUtil |
Utility class, that offers some operations revolving around adaptive distinguishing sequences.
|
| BacktrackingSearch |
A class containing methods for computing adaptive distinguishing sequences (for arbitrary sets of states) by means of
a backtracking approach.
|
| LeeYannakakis |
Algorithm of Lee and Yannakakis for computing adaptive distinguishing sequences (of length at most n^2) in O(n^2)
time (where n denotes the number of states of the automaton).
|
| LYResult<S,I,O> |
Utility class that holds some information aggregated during the ADS computation of
LeeYannakakis. |
| StateEquivalence |
A utility class for computing an adaptive distinguishing sequence by means of solving the state equivalence problems,
i.e. computing and ADS for two states only.
|
| Enum | Description |
|---|---|
| BacktrackingSearch.CostAggregator |
Utility enum, that allows to specify the optimization criterion when performing and optimal ADS search.
|
Copyright © 2018. All rights reserved.