public static RandomICAutomatonGenerator<Boolean, Void> forDFA() {
        return new RandomICAutomatonGenerator<Boolean, Void>().withStateProperties(Random::nextBoolean);
    }
public static RandomICAutomatonGenerator < Boolean , Void > forDFA ( ) { return new RandomICAutomatonGenerator < Boolean , Void > ( ) . withStateProperties ( Random :: nextBoolean ) ; }
Creates a random IC automaton generator instance for generating DFAs. States in generated automata will be
accepting or rejecting with equal probability.

@return a random IC automaton generator instance for generating DFAs