Package net.automatalib.util.automaton.random

Class RandomAutomata

java.lang.Object

net.automatalib.util.automaton.random.RandomAutomata

public final class RandomAutomata
extends Object

Method Summary

Modifier and Type	Method	Description
static <S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A	randomDeterministic(Random rand, @org.checkerframework.checker.index.qual.NonNegative 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, @org.checkerframework.checker.index.qual.NonNegative int numStates, Collection<? extends I> inputs, Collection<? extends SP> stateProps, Collection<? extends TP> transProps, A out, boolean minimize)
static <I> CompactDFA<I>	randomDFA(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Alphabet<I> inputs)
static <I> CompactDFA<I>	randomDFA(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Alphabet<I> inputs, boolean minimize)
static <I> CompactDFA<I>	randomICDFA(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Alphabet<I> inputs, boolean minimize)	Randomly generates an initially connected DFA (ICDFA), i.e., a DFA where all states are reachable from the initial state.
static <I,O> CompactMealy<I,O>	randomMealy(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs)
static <I,O> CompactMealy<I,O>	randomMealy(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs, boolean minimize)
static <I,O> CompactMoore<I,O>	randomMoore(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs)
static <I,O> CompactMoore<I,O>	randomMoore(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs, boolean minimize)
static <I> DefaultOneSEVPA<I>	randomOneSEVPA(Random r, int locCount, VPAlphabet<I> alphabet, double acceptanceProb, double initialRetTransProb, boolean minimize)
static <I> DefaultOneSEVPA<I>	randomOneSEVPA(Random r, int locCount, VPAlphabet<I> alphabet, double acceptanceProb, double initialRetTransProb, boolean minimize, DefaultOneSEVPA<I> result)
static <I> SBA<?,I>	randomSBA(Random random, ProceduralInputAlphabet<I> alphabet, int procedureSize)
static <I> SBA<?,I>	randomSBA(Random random, ProceduralInputAlphabet<I> alphabet, int procedureSize, boolean minimize)
static <I> SPA<?,I>	randomSPA(Random random, ProceduralInputAlphabet<I> alphabet, int procedureSize)
static <I> SPA<?,I>	randomSPA(Random random, ProceduralInputAlphabet<I> alphabet, int procedureSize, boolean minimize)
static <I,O> SPMM<?,I,?,O>	randomSPMM(Random random, ProceduralInputAlphabet<I> inputAlphabet, ProceduralOutputAlphabet<O> outputAlphabet, int procedureSize)
static <I,O> SPMM<?,I,?,O>	randomSPMM(Random random, ProceduralInputAlphabet<I> inputAlphabet, ProceduralOutputAlphabet<O> outputAlphabet, int procedureSize, boolean minimize)

Methods inherited from class java.lang.Object

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

Method Detail

randomICDFA

public static <I> CompactDFA<I> randomICDFA(Random rand,
                                            @org.checkerframework.checker.index.qual.NonNegative int numStates,
                                            Alphabet<I> inputs,
                                            boolean minimize)

Randomly generates an initially connected DFA (ICDFA), i.e., a DFA where all states are reachable from the initial state.

Parameters:

rand - the randomness source

numStates - the number of states of the generated automaton

inputs - the input alphabet

minimize - determines whether the DFA will be minimized before being returned. Note that if true is passed for this parameter, the resulting automaton might have a size less than numStates

Returns:

a randomly generated ICDFA

randomOneSEVPA

public static <I> DefaultOneSEVPA<I> randomOneSEVPA(Random r,
                                                    int locCount,
                                                    VPAlphabet<I> alphabet,
                                                    double acceptanceProb,
                                                    double initialRetTransProb,
                                                    boolean minimize)

randomOneSEVPA

public static <I> DefaultOneSEVPA<I> randomOneSEVPA(Random r,
                                                    int locCount,
                                                    VPAlphabet<I> alphabet,
                                                    double acceptanceProb,
                                                    double initialRetTransProb,
                                                    boolean minimize,
                                                    DefaultOneSEVPA<I> result)

randomSPA

public static <I> SPA<?,I> randomSPA(Random random,
                                           ProceduralInputAlphabet<I> alphabet,
                                           int procedureSize)

randomSPA

public static <I> SPA<?,I> randomSPA(Random random,
                                           ProceduralInputAlphabet<I> alphabet,
                                           int procedureSize,
                                           boolean minimize)

randomSBA

public static <I> SBA<?,I> randomSBA(Random random,
                                           ProceduralInputAlphabet<I> alphabet,
                                           int procedureSize)

randomSBA

public static <I> SBA<?,I> randomSBA(Random random,
                                           ProceduralInputAlphabet<I> alphabet,
                                           int procedureSize,
                                           boolean minimize)

randomSPMM

public static <I,O> SPMM<?,I,?,O> randomSPMM(Random random,
                                                                     ProceduralInputAlphabet<I> inputAlphabet,
                                                                     ProceduralOutputAlphabet<O> outputAlphabet,
                                                                     int procedureSize)

randomSPMM

public static <I,O> SPMM<?,I,?,O> randomSPMM(Random random,
                                                                     ProceduralInputAlphabet<I> inputAlphabet,
                                                                     ProceduralOutputAlphabet<O> outputAlphabet,
                                                                     int procedureSize,
                                                                     boolean minimize)

randomDeterministic

public static <S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A randomDeterministic(Random rand,
                                                                                                                                                    @org.checkerframework.checker.index.qual.NonNegative int numStates,
                                                                                                                                                    Collection<? extends I> inputs,
                                                                                                                                                    Collection<? extends SP> stateProps,
                                                                                                                                                    Collection<? extends TP> transProps,
                                                                                                                                                    A out)

randomDeterministic

public static <S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A randomDeterministic(Random rand,
                                                                                                                                                    @org.checkerframework.checker.index.qual.NonNegative int numStates,
                                                                                                                                                    Collection<? extends I> inputs,
                                                                                                                                                    Collection<? extends SP> stateProps,
                                                                                                                                                    Collection<? extends TP> transProps,
                                                                                                                                                    A out,
                                                                                                                                                    boolean minimize)

randomDFA

public static <I> CompactDFA<I> randomDFA(Random rand,
                                          @org.checkerframework.checker.index.qual.NonNegative int numStates,
                                          Alphabet<I> inputs,
                                          boolean minimize)

randomDFA

public static <I> CompactDFA<I> randomDFA(Random rand,
                                          @org.checkerframework.checker.index.qual.NonNegative int numStates,
                                          Alphabet<I> inputs)

randomMealy

public static <I,O> CompactMealy<I,O> randomMealy(Random rand,
                                                              @org.checkerframework.checker.index.qual.NonNegative int numStates,
                                                              Alphabet<I> inputs,
                                                              Collection<? extends O> outputs,
                                                              boolean minimize)

randomMealy

public static <I,O> CompactMealy<I,O> randomMealy(Random rand,
                                                              @org.checkerframework.checker.index.qual.NonNegative int numStates,
                                                              Alphabet<I> inputs,
                                                              Collection<? extends O> outputs)

randomMoore

public static <I,O> CompactMoore<I,O> randomMoore(Random rand,
                                                              @org.checkerframework.checker.index.qual.NonNegative int numStates,
                                                              Alphabet<I> inputs,
                                                              Collection<? extends O> outputs,
                                                              boolean minimize)

randomMoore

public static <I,O> CompactMoore<I,O> randomMoore(Random rand,
                                                              @org.checkerframework.checker.index.qual.NonNegative int numStates,
                                                              Alphabet<I> inputs,
                                                              Collection<? extends O> outputs)