Searched refs:Gia_ManCnfNodeAddToSolver (Results 1 – 1 of 1) sorted by relevance
701 static void Gia_ManCnfNodeAddToSolver( Swp_Man_t * p, int NodeId ) in Gia_ManCnfNodeAddToSolver() function821 Gia_ManCnfNodeAddToSolver( p, Abc_Lit2Var(iLitAig) ); in Gia_SweeperCheckEquiv()824 Gia_ManCnfNodeAddToSolver( p, Abc_Lit2Var(iLitOld) ); in Gia_SweeperCheckEquiv()825 Gia_ManCnfNodeAddToSolver( p, Abc_Lit2Var(iLitNew) ); in Gia_SweeperCheckEquiv()938 Gia_ManCnfNodeAddToSolver( p, Abc_Lit2Var(iLitAig) ); in Gia_SweeperCondCheckUnsat()