Searched refs:var_is_partA (Results 1 – 2 of 2) sorted by relevance
67 extern int var_is_partA (sat_solver2* s, int v);
84 int var_is_partA (sat_solver2* s, int v) { return s->vi[v].partA; } in var_is_partA() function194 s->tempInter = Int2_ManChainResolve( s->pInt2, c, s->tempInter, var_is_partA(s,Var) ); in proof_chain_resolve()204 int ProofId = clause2_proofid(s, c, var_is_partA(s,Var)); in proof_chain_resolve()