Searched refs:Msat_SolverReadAdjacents (Results 1 – 3 of 3) sorted by relevance
105 extern Msat_ClauseVec_t * Msat_SolverReadAdjacents( Msat_Solver_t * p );
104 Msat_ClauseVec_t * Msat_SolverReadAdjacents( Msat_Solver_t * p ) in Msat_SolverReadAdjacents() function
333 p->vAdjacents = Msat_SolverReadAdjacents( p->pSat ); in Fraig_ManCreateSolver()