Searched defs:state_idx (Results 1 – 4 of 4) sorted by relevance
1634 line_label (int state_idx, int column, label_text text) in line_label()
2796 int state_idx = 0; in dump_states_for_supernode() local
1878 int state_idx, int column, in line_label()
4247 int state_idx = 0; in dump_states_for_supernode() local