Searched refs:STATE_NUMBER_MAXIMUM (Results 1 – 3 of 3) sorted by relevance
136 aver (nstates < STATE_NUMBER_MAXIMUM); in state_new()163 aver (nstates < STATE_NUMBER_MAXIMUM); in state_new_isocore()
95 # define STATE_NUMBER_MAXIMUM INT_MAX macro
11353 * src/state.h (state_number, STATE_NUMBER_MAXIMUM, transitions,14157 * src/state.h (STATE_NUMBER_MAXIMUM): Renamed from STATE_NUMBER_MAX.