Searched refs:Msat_SolverReadSeenArray (Results 1 – 3 of 3) sorted by relevance
195 extern int * Msat_SolverReadSeenArray( Msat_Solver_t * p );
76 int * pSeen = Msat_SolverReadSeenArray( p ); in Msat_ClauseCreate()
61 int * Msat_SolverReadSeenArray( Msat_Solver_t * p ) { return p->pSeen; … in Msat_SolverReadSeenArray() function