Uses of Interface
net.automatalib.common.util.function.BiIntFunction
-
Packages that use BiIntFunction Package Description net.automatalib.common.util.function net.automatalib.util.partitionrefinement -
-
Uses of BiIntFunction in net.automatalib.common.util.function
Methods in net.automatalib.common.util.function that return BiIntFunction Modifier and Type Method Description static <R> BiIntFunction<? extends @Nullable R>
FunctionsUtil. safeDefault(@Nullable BiIntFunction<R> func)
Returns a default function if the argument isnull
.Methods in net.automatalib.common.util.function with parameters of type BiIntFunction Modifier and Type Method Description static <R> BiIntFunction<? extends @Nullable R>
FunctionsUtil. safeDefault(@Nullable BiIntFunction<R> func)
Returns a default function if the argument isnull
. -
Uses of BiIntFunction in net.automatalib.util.partitionrefinement
Methods in net.automatalib.util.partitionrefinement with parameters of type BiIntFunction Modifier and Type Method Description static <I,SP,TP,A extends MutableDeterministic<?,I,?,SP,TP>>
APaigeTarjanExtractors. 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 the coarsest stable partition computation into a deterministic automaton.
-