public abstract class RandomAutomata extends Object
Modifier and Type | Method and Description |
---|---|
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) |
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)
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)
Copyright © 2015. All Rights Reserved.