Searched refs:pLit_out (Results 1 – 2 of 2) sorted by relevance
335 … Msat_ClausePropagate( Msat_Clause_t * pC, Msat_Lit_t Lit, int * pAssigns, Msat_Lit_t * pLit_out ) in Msat_ClausePropagate() argument353 *pLit_out = MSAT_LITNOT(pC->pData[1]); in Msat_ClausePropagate()358 *pLit_out = pC->pData[0]; in Msat_ClausePropagate()
245 … Msat_ClausePropagate( Msat_Clause_t * pC, Msat_Lit_t Lit, int * pAssigns, Msat_Lit_t * pLit_out );