static RandomICAutomatonGenerator<Boolean,Void> |
RandomICAutomatonGenerator.forDFA() |
Creates a random IC automaton generator instance for generating DFAs.
|
static RandomICAutomatonGenerator<Boolean,Void> |
RandomICAutomatonGenerator.forDFA(double acceptingRatio) |
Creates a random IC automaton generator instance for generating DFAs.
|
RandomICAutomatonGenerator<SP,TP> |
RandomICAutomatonGenerator.withStateProperties(Collection<? extends SP> possibleSps) |
Sets the possible state properties, and returns this .
|
RandomICAutomatonGenerator<SP,TP> |
RandomICAutomatonGenerator.withStateProperties(Function<? super Random,? extends SP> spFunc) |
Sets the function for supplying state properties, and returns this .
|
RandomICAutomatonGenerator<SP,TP> |
RandomICAutomatonGenerator.withStateProperties(Supplier<? extends SP> spSupplier) |
Sets the supplier for state properties, and returns this .
|
RandomICAutomatonGenerator<SP,TP> |
RandomICAutomatonGenerator.withStateProperties(SP... possibleSps) |
Sets the possible state properties, and returns this .
|
RandomICAutomatonGenerator<SP,TP> |
RandomICAutomatonGenerator.withTransitionProperties(Collection<? extends TP> possibleTps) |
Sets the possible transition properties, and returns this .
|
RandomICAutomatonGenerator<SP,TP> |
RandomICAutomatonGenerator.withTransitionProperties(Function<? super Random,? extends TP> tpFunc) |
Sets the function for supplying transition properties, and returns this .
|
RandomICAutomatonGenerator<SP,TP> |
RandomICAutomatonGenerator.withTransitionProperties(Supplier<? extends TP> tpSupplier) |
Sets the supplier for transition properties, and returns this .
|
RandomICAutomatonGenerator<SP,TP> |
RandomICAutomatonGenerator.withTransitionProperties(TP... possibleTps) |
Sets the possible transition properties, and returns this .
|