net.automatalib.util.automata.random

Class RandomAutomata

java.lang.Object

net.automatalib.util.automata.random.RandomAutomata

@ParametersAreNonnullByDefault
public class RandomAutomata
extends Object

Constructor Summary

Constructors

Constructor and Description
RandomAutomata()
RandomAutomata(Random random)

Method Summary

Modifier and Type	Method and Description
static RandomAutomata	getInstance()
<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A	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>> A	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>> A	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>> A	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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RandomAutomata

public RandomAutomata()

RandomAutomata

public RandomAutomata(Random random)

Method Detail

getInstance

@Nonnull
public static RandomAutomata getInstance()

randomDeterministic

@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)

randomDeterministic

@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)

randomDFA

@Nonnull
public static <I> CompactDFA<I> randomDFA(Random rand,
                                                   @Nonnegative
                                                   int numStates,
                                                   Alphabet<I> inputs,
                                                   boolean minimize)

randomDFA

@Nonnull
public static <I> CompactDFA<I> randomDFA(Random rand,
                                                   @Nonnegative
                                                   int numStates,
                                                   Alphabet<I> inputs)

randomMealy

@Nonnull
public static <I,O> CompactMealy<I,O> randomMealy(Random rand,
                                                           @Nonnegative
                                                           int numStates,
                                                           Alphabet<I> inputs,
                                                           Collection<? extends O> outputs,
                                                           boolean minimize)

randomMealy

@Nonnull
public static <I,O> CompactMealy<I,O> randomMealy(Random rand,
                                                           @Nonnegative
                                                           int numStates,
                                                           Alphabet<I> inputs,
                                                           Collection<? extends O> outputs)

randomDeterministic

@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)

randomDeterministic

@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)

randomDFA

@Nonnull
public <I> CompactDFA<I> randomDFA(@Nonnegative
                                            int numStates,
                                            Alphabet<I> inputs,
                                            boolean minimize)

randomDFA

@Nonnull
public <I> CompactDFA<I> randomDFA(@Nonnegative
                                            int numStates,
                                            Alphabet<I> inputs)

randomMealy

@Nonnull
public <I,O> CompactMealy<I,O> randomMealy(@Nonnegative
                                                    int numStates,
                                                    Alphabet<I> inputs,
                                                    Collection<? extends O> outputs,
                                                    boolean minimize)

randomMealy

@Nonnull
public <I,O> CompactMealy<I,O> randomMealy(@Nonnegative
                                                    int numStates,
                                                    Alphabet<I> inputs,
                                                    Collection<? extends O> outputs)