Searched refs:Dch_CnfNodeAddToSolver (Results 1 – 3 of 3) sorted by relevance
67 Dch_CnfNodeAddToSolver( p, pOld ); in Dch_NodesAreEquiv()68 Dch_CnfNodeAddToSolver( p, pNew ); in Dch_NodesAreEquiv()
144 extern void Dch_CnfNodeAddToSolver( Dch_Man_t * p, Aig_Obj_t * pObj );
287 void Dch_CnfNodeAddToSolver( Dch_Man_t * p, Aig_Obj_t * pObj ) in Dch_CnfNodeAddToSolver() function