Details
-
Improvement
-
Status: Closed
-
Minor
-
Resolution: Fixed
-
4.10
-
New, Patch Available
Description
Reworked Automaton.Builder.finish() to not allocate memory stepwise. Added growTransitions(int numTransitions) to be able to resize the transistions array just once.