Uses of Class
net.automatalib.util.automaton.ads.BacktrackingSearch.CostAggregator
-
Packages that use BacktrackingSearch.CostAggregator Package Description net.automatalib.util.automaton.ads -
-
Uses of BacktrackingSearch.CostAggregator in net.automatalib.util.automaton.ads
Methods in net.automatalib.util.automaton.ads that return BacktrackingSearch.CostAggregator Modifier and Type Method Description static BacktrackingSearch.CostAggregatorBacktrackingSearch.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.Methods in net.automatalib.util.automaton.ads with parameters of type BacktrackingSearch.CostAggregator Modifier and Type Method 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 (dependent on the passed optimization function) ADS.
-