@ParametersAreNonnullByDefault public class RandomAutomata extends Object
Constructor and Description |
---|
RandomAutomata() |
RandomAutomata(Random random) |
Modifier and Type | Method and Description |
---|---|
static RandomAutomata |
getInstance() |
<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> |
randomDeterministic(int numStates,
Collection<? extends I> inputs,
Collection<? extends SP> stateProps,
Collection<? extends TP> transProps,
A out) |
<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> |
randomDeterministic(int numStates,
Collection<? extends I> inputs,
Collection<? extends SP> stateProps,
Collection<? extends TP> transProps,
A out,
boolean minimize) |
static <S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> |
randomDeterministic(Random rand,
int numStates,
Collection<? extends I> inputs,
Collection<? extends SP> stateProps,
Collection<? extends TP> transProps,
A out) |
static <S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> |
randomDeterministic(Random rand,
int numStates,
Collection<? extends I> inputs,
Collection<? extends SP> stateProps,
Collection<? extends TP> transProps,
A out,
boolean minimize) |
<I> CompactDFA<I> |
randomDFA(int numStates,
Alphabet<I> inputs) |
<I> CompactDFA<I> |
randomDFA(int numStates,
Alphabet<I> inputs,
boolean minimize) |
static <I> CompactDFA<I> |
randomDFA(Random rand,
int numStates,
Alphabet<I> inputs) |
static <I> CompactDFA<I> |
randomDFA(Random rand,
int numStates,
Alphabet<I> inputs,
boolean minimize) |
<I,O> CompactMealy<I,O> |
randomMealy(int numStates,
Alphabet<I> inputs,
Collection<? extends O> outputs) |
<I,O> CompactMealy<I,O> |
randomMealy(int numStates,
Alphabet<I> inputs,
Collection<? extends O> outputs,
boolean minimize) |
static <I,O> CompactMealy<I,O> |
randomMealy(Random rand,
int numStates,
Alphabet<I> inputs,
Collection<? extends O> outputs) |
static <I,O> CompactMealy<I,O> |
randomMealy(Random rand,
int numStates,
Alphabet<I> inputs,
Collection<? extends O> outputs,
boolean minimize) |
public RandomAutomata()
public RandomAutomata(Random random)
@Nonnull public static RandomAutomata getInstance()
@Nonnull public static <S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A randomDeterministic(Random rand, @Nonnegative int numStates, Collection<? extends I> inputs, @Nullable Collection<? extends SP> stateProps, @Nullable Collection<? extends TP> transProps, A out)
@Nonnull public static <S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A randomDeterministic(Random rand, @Nonnegative int numStates, Collection<? extends I> inputs, @Nullable Collection<? extends SP> stateProps, @Nullable Collection<? extends TP> transProps, A out, boolean minimize)
@Nonnull public static <I> CompactDFA<I> randomDFA(Random rand, @Nonnegative int numStates, Alphabet<I> inputs, boolean minimize)
@Nonnull public static <I> CompactDFA<I> randomDFA(Random rand, @Nonnegative int numStates, Alphabet<I> inputs)
@Nonnull public static <I,O> CompactMealy<I,O> randomMealy(Random rand, @Nonnegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs, boolean minimize)
@Nonnull public static <I,O> CompactMealy<I,O> randomMealy(Random rand, @Nonnegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs)
@Nonnull public <S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A randomDeterministic(@Nonnegative int numStates, Collection<? extends I> inputs, @Nullable Collection<? extends SP> stateProps, @Nullable Collection<? extends TP> transProps, A out)
@Nonnull public <S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A randomDeterministic(@Nonnegative int numStates, Collection<? extends I> inputs, @Nullable Collection<? extends SP> stateProps, @Nullable Collection<? extends TP> transProps, A out, boolean minimize)
@Nonnull public <I> CompactDFA<I> randomDFA(@Nonnegative int numStates, Alphabet<I> inputs, boolean minimize)
@Nonnull public <I> CompactDFA<I> randomDFA(@Nonnegative int numStates, Alphabet<I> inputs)
@Nonnull public <I,O> CompactMealy<I,O> randomMealy(@Nonnegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs, boolean minimize)
@Nonnull public <I,O> CompactMealy<I,O> randomMealy(@Nonnegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs)
Copyright © 2015. All rights reserved.