From a03c126a13debcdabb74a5b3bb42ee19283bba4b Mon Sep 17 00:00:00 2001 From: wjrforcyber Date: Thu, 9 Jan 2025 23:39:02 +0800 Subject: [PATCH] Refactor(Redundant): Remove redundant code --- src/aig/gia/gia.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 1900d0c32..31761a735 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -478,7 +478,6 @@ static inline int Gia_ManConstrNum( Gia_Man_t * p ) { return p->nCons static inline void Gia_ManFlipVerbose( Gia_Man_t * p ) { p->fVerbose ^= 1; } static inline int Gia_ManHasChoices( Gia_Man_t * p ) { return p->pSibls != NULL; } static inline int Gia_ManChoiceNum( Gia_Man_t * p ) { int c = 0; if (p->pSibls) { int i; for (i = 0; i < p->nObjs; i++) c += (int)(p->pSibls[i] > 0); } return c; } -static inline int Gia_ManHasChoicesOri( Gia_Man_t *p ){ return p->pReprs != NULL; } static inline Gia_Obj_t * Gia_ManConst0( Gia_Man_t * p ) { return p->pObjs; } static inline Gia_Obj_t * Gia_ManConst1( Gia_Man_t * p ) { return Gia_Not(Gia_ManConst0(p)); }