Searched refs:Msat_ClauseVecPop (Results 1 – 3 of 3) sorted by relevance
192 Msat_Clause_t * Msat_ClauseVecPop( Msat_ClauseVec_t * p ) in Msat_ClauseVecPop() function
264 extern Msat_Clause_t * Msat_ClauseVecPop( Msat_ClauseVec_t * p );
454 Msat_ClauseVecPop( vClauses ); in Msat_ClauseRemoveWatch()