Package | Description |
---|---|
net.automatalib.util.automata.ads |
Modifier and Type | Method and Description |
---|---|
static BacktrackingSearch.CostAggregator |
BacktrackingSearch.CostAggregator.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static BacktrackingSearch.CostAggregator[] |
BacktrackingSearch.CostAggregator.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
static <S,I,O> Optional<ADSNode<S,I,O>> |
BacktrackingSearch.computeOptimal(MealyMachine<S,I,?,O> automaton,
Alphabet<I> input,
Set<S> states,
BacktrackingSearch.CostAggregator costAggregator)
Computes an ADS by iterating over the successor tree in a breadth-first manner, yielding an optimal (dependant on
the passed optimization function) ADS.
|
Copyright © 2020. All rights reserved.