net.automatalib.util.automata.random

Class RandomAutomata

java.lang.Object

net.automatalib.util.automata.random.RandomAutomata

public abstract class RandomAutomata
extends Object

Method Summary

Methods

Modifier and Type	Method and Description
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)

Methods inherited from class java.lang.Object

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

Method Detail

randomDeterministic

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

randomDeterministic

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