size method

int size()

Implementation

int size() {
  return configuration_stack.size();
}