Searched defs:sc_j (Results 1 – 2 of 2) sorted by relevance
540 int sc_j = at(states2scs, s_i, cis_j); in make_immediate_predecessor_graph() local577 int sc_j = at(states2scs, state_j, cis_j); in find_transition_predecessors() local
122 sc_j = 0x24, enumerator