Searched refs:Msat_IntVecWriteEntry (Results 1 – 4 of 4) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/msat/ |
| H A D | msat.h | 131 extern void Msat_IntVecWriteEntry( Msat_IntVec_t * p, int i, int Entry );
|
| H A D | msatVec.c | 266 void Msat_IntVecWriteEntry( Msat_IntVec_t * p, int i, int Entry ) in Msat_IntVecWriteEntry() function
|
| H A D | msatSolverSearch.c | 509 Msat_IntVecWriteEntry( vLits_out, 0, MSAT_LITNOT(Lit) ); in Msat_SolverAnalyze()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fraig/ |
| H A D | fraigSat.c | 808 Msat_IntVecWriteEntry( pMan->vVarsUsed, pNode->Num, 1 ); in Fraig_PrepareCones_rec()
894 Msat_IntVecWriteEntry( pMan->vVarsUsed, pOld->Num, 1 ); in Fraig_OrderVariables()
899 Msat_IntVecWriteEntry( pMan->vVarsUsed, pNew->Num, 1 ); in Fraig_OrderVariables()
951 Msat_IntVecWriteEntry( pMan->vVarsUsed, pFanin->Num, 1 ); in Fraig_OrderVariables()
|