max_configuration_size property

int max_configuration_size

Implementation

int max_configuration_size = 0, stacks_size = 0, state_element_size = 0;