reallocateStacks method
Implementation
@override
void reallocateStacks() {
super.reallocateStacks();
if (actionStack.isEmpty) {
actionStack = List.filled(stateStack.length, 0);
} else {
var old_stack_length = actionStack.length;
ArrayList.copy(actionStack, 0,
actionStack = List.filled(stateStack.length, 0), 0, old_stack_length);
}
return;
}