stacks_size property

int stacks_size
getter/setter pair

Implementation

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