Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaEquiv.c390 else if ( Gia_ObjIsNone(p, i) ) in Gia_ManPrintStatsClasses()
426 else if ( Gia_ObjIsNone(p, i) ) in Gia_ManEquivCountLits()
475 else if ( Gia_ObjIsNone(p, i) ) in Gia_ManEquivPrintClasses()
H A Dgia.h1051 static inline int Gia_ObjIsNone( Gia_Man_t * p, int Id ) { return Gia_ObjRepr(p… in Gia_ObjIsNone() function
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/
H A DcecCorr.c731 if ( Gia_ObjIsNone(p, i) ) in Cec_ManRefinedClassPrintStats()