Package | Description |
---|---|
net.automatalib.commons.util.functions | |
net.automatalib.util.partitionrefinement |
Modifier and Type | Method and Description |
---|---|
static <R> BiIntFunction<? extends R> |
FunctionsUtil.safeDefault(@Nullable BiIntFunction<R> func)
Returns a default function if the argument is
null . |
Modifier and Type | Method and Description |
---|---|
static <R> BiIntFunction<? extends R> |
FunctionsUtil.safeDefault(@Nullable BiIntFunction<R> func)
Returns a default function if the argument is
null . |
Modifier and Type | Method and Description |
---|---|
static <I,SP,TP,A extends MutableDeterministic<?,I,?,SP,TP>> |
PaigeTarjanExtractors.toDeterministic(PaigeTarjan pt,
AutomatonCreator<A,I> creator,
Alphabet<I> inputs,
SimpleDeterministicAutomaton.FullIntAbstraction absOriginal,
IntFunction<? extends SP> spExtractor,
BiIntFunction<? extends TP> tpExtractor,
boolean pruneUnreachable)
Translates the results of a coarsest stable partition computation into a deterministic automaton.
|
Copyright © 2020. All rights reserved.