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(@NonNegative 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(@NonNegative 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,
@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>> |
randomDeterministic(Random rand,
@NonNegative int numStates,
Collection<? extends I> inputs,
Collection<? extends SP> stateProps,
Collection<? extends TP> transProps,
A out,
boolean minimize) |
<I> CompactDFA<I> |
randomDFA(@NonNegative int numStates,
Alphabet<I> inputs) |
<I> CompactDFA<I> |
randomDFA(@NonNegative int numStates,
Alphabet<I> inputs,
boolean minimize) |
static <I> CompactDFA<I> |
randomDFA(Random rand,
@NonNegative int numStates,
Alphabet<I> inputs) |
static <I> CompactDFA<I> |
randomDFA(Random rand,
@NonNegative int numStates,
Alphabet<I> inputs,
boolean minimize) |
static <I> CompactDFA<I> |
randomICDFA(Random rand,
@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.
|
<I,O> CompactMealy<I,O> |
randomMealy(@NonNegative int numStates,
Alphabet<I> inputs,
Collection<? extends O> outputs) |
<I,O> CompactMealy<I,O> |
randomMealy(@NonNegative int numStates,
Alphabet<I> inputs,
Collection<? extends O> outputs,
boolean minimize) |
static <I,O> CompactMealy<I,O> |
randomMealy(Random rand,
@NonNegative int numStates,
Alphabet<I> inputs,
Collection<? extends O> outputs) |
static <I,O> CompactMealy<I,O> |
randomMealy(Random rand,
@NonNegative int numStates,
Alphabet<I> inputs,
Collection<? extends O> outputs,
boolean minimize) |
static <I> DefaultOneSEVPA<I> |
randomOneSEVPA(Random r,
int locCount,
VPDAlphabet<I> alphabet,
double acceptanceProb,
double initialRetTransProb,
boolean minimize) |
public RandomAutomata()
public RandomAutomata(Random random)
public static RandomAutomata getInstance()
public static <I> CompactDFA<I> randomICDFA(Random rand, @NonNegative int numStates, Alphabet<I> inputs, boolean minimize)
rand
- the randomness sourcenumStates
- the number of states of the generated automatoninputs
- the input alphabetminimize
- determines whether or not 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
public static <I> DefaultOneSEVPA<I> randomOneSEVPA(Random r, int locCount, VPDAlphabet<I> alphabet, double acceptanceProb, double initialRetTransProb, boolean minimize)
public <S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A randomDeterministic(@NonNegative int numStates, Collection<? extends I> inputs, Collection<? extends SP> stateProps, Collection<? extends TP> transProps, A out)
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, Collection<? extends SP> stateProps, Collection<? extends TP> transProps, A out)
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, Collection<? extends SP> stateProps, Collection<? extends TP> transProps, A out, boolean minimize)
public <S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A randomDeterministic(@NonNegative int numStates, Collection<? extends I> inputs, Collection<? extends SP> stateProps, Collection<? extends TP> transProps, A out, boolean minimize)
public <I> CompactDFA<I> randomDFA(@NonNegative int numStates, Alphabet<I> inputs, boolean minimize)
public static <I> CompactDFA<I> randomDFA(Random rand, @NonNegative int numStates, Alphabet<I> inputs, boolean minimize)
public <I> CompactDFA<I> randomDFA(@NonNegative int numStates, Alphabet<I> inputs)
public static <I> CompactDFA<I> randomDFA(Random rand, @NonNegative int numStates, Alphabet<I> inputs)
public <I,O> CompactMealy<I,O> randomMealy(@NonNegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs, boolean minimize)
public static <I,O> CompactMealy<I,O> randomMealy(Random rand, @NonNegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs, boolean minimize)
public <I,O> CompactMealy<I,O> randomMealy(@NonNegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs)
public static <I,O> CompactMealy<I,O> randomMealy(Random rand, @NonNegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs)
Copyright © 2020. All rights reserved.