Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/
H A DdchSat.c67 Dch_CnfNodeAddToSolver( p, pOld ); in Dch_NodesAreEquiv()
68 Dch_CnfNodeAddToSolver( p, pNew ); in Dch_NodesAreEquiv()
H A DdchInt.h144 extern void Dch_CnfNodeAddToSolver( Dch_Man_t * p, Aig_Obj_t * pObj );
H A DdchCnf.c287 void Dch_CnfNodeAddToSolver( Dch_Man_t * p, Aig_Obj_t * pObj ) in Dch_CnfNodeAddToSolver() function