Lines Matching defs:NUM_STATES
207 for (int source = 0; source < NUM_STATES; ++source) {
211 EXPECT_LT(transition_table_[source][event], NUM_STATES);
216 for (int source = 0; source < NUM_STATES; ++source) {
307 int max_steps = NUM_STATES;
326 NUM_STATES);
565 for (int source_int = 0; source_int < NUM_STATES; ++source_int) {
776 output << "transition_table_[NUM_STATES = " << NUM_STATES
779 for (int state_int = 0; state_int < NUM_STATES; ++state_int) {
798 output << "state_transitions_[NUM_STATES = " << NUM_STATES
799 << "][NUM_STATES = " << NUM_STATES << "] =\n";
800 for (int state1_int = 0; state1_int < NUM_STATES; ++state1_int) {
803 for (int state2_int = 0; state2_int < NUM_STATES; ++state2_int) {
