get_db_state_count

1601

nr_states = get_db_state_count();

1696

if (get_db_state_count() > 10000 / 3)

1788

nr_states = get_db_state_count();

1873

nr_states = get_db_state_count();

2038

if (get_db_state_count() * 2 >= 2000)

2069

if (get_db_state_count() * nr_possible >= 2000)

2162

nr_states = get_db_state_count();