Searched refs:ch_via_ptr (Results 1 – 1 of 1) sorted by relevance
888 Reachedness ch_via_ptr; // Is ch reachable via ptr, and how ? in lc_push_without_clique_if_a_chunk_ptr() local907 ch_via_ptr = Reachable; in lc_push_without_clique_if_a_chunk_ptr()913 ch_via_ptr = Reachable; in lc_push_without_clique_if_a_chunk_ptr()915 ch_via_ptr = Possible; in lc_push_without_clique_if_a_chunk_ptr()917 ch_via_ptr = Possible; in lc_push_without_clique_if_a_chunk_ptr()919 if (ch_via_ptr == Reachable && is_prior_definite) { in lc_push_without_clique_if_a_chunk_ptr()