Package | Description |
---|---|
net.automatalib.util.automata.ads |
Class and Description |
---|
BacktrackingSearch.CostAggregator
Utility enum, that allows to specify the optimization criterion when performing and optimal ADS search.
|
LYResult
Utility class that holds some information aggregated during the ADS computation of
LeeYannakakis . |
Copyright © 2018. All rights reserved.