Lines Matching defs:states
44 transitions *res = xmalloc (offsetof (transitions, states) + states_size);
46 memcpy (res->states, the_states, states_size);
64 return shifts->states[j];
169 transitions_new (s->transitions->num, s->transitions->states);
303 /* Initial capacity of states hash table. */
308 /* Two states are equal if they have the same core items. */
349 | Create the states hash table. |
364 | Free the states hash table, not the states. |
407 | Record S and all states reachable from S in REACHABLE. |
420 state_record_reachable_states (s->transitions->states[i], reachable);
429 state_record_reachable_states (states[0], reachable);
434 if (bitset_test (reachable, states[i]->number))
436 states[nstates_reachable] = states[i];
437 states[nstates_reachable]->number = nstates_reachable;
442 state_free (states[i]);
451 /* All the decorated states, indexed by the state number. */
452 state **states = NULL;
456 | Free all the states. |
464 state_free (states[i]);
465 free (states);