Searched refs:Msat_ClauseReadMark (Results 1 – 2 of 2) sorted by relevance
235 extern int Msat_ClauseReadMark( Msat_Clause_t * pC );
258 int Msat_ClauseReadMark( Msat_Clause_t * pC ) { return pC->fMark; } in Msat_ClauseReadMark() function