Package | Description |
---|---|
net.automatalib.util.automata.random |
Modifier and Type | Method and Description |
---|---|
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(SP... possibleSps)
Sets the possible 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.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 . |
Copyright © 2015. All rights reserved.