state_element_size property

int state_element_size

Implementation

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