Home
last modified time | relevance | path

Searched refs:Msat_SolverReadAdjacents (Results 1 – 3 of 3) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/msat/
H A Dmsat.h105 extern Msat_ClauseVec_t * Msat_SolverReadAdjacents( Msat_Solver_t * p );
H A DmsatSolverApi.c104 Msat_ClauseVec_t * Msat_SolverReadAdjacents( Msat_Solver_t * p ) in Msat_SolverReadAdjacents() function
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fraig/
H A DfraigMan.c333 p->vAdjacents = Msat_SolverReadAdjacents( p->pSat ); in Fraig_ManCreateSolver()