Searched refs:Gia_ObjColors (Results 1 – 3 of 3) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecIso.c | 173 int Key, Ent, Color = Gia_ObjColors( p, Id ); in Gia_ManIsoTableAdd() 179 if ( Gia_ObjColors( p, Ent ) != Color ) in Gia_ManIsoTableAdd() 220 if ( Gia_ObjColors( p, Ent ) == 1 ) in Gia_ManIsoExtractClasses() 310 assert( Gia_ObjColors(p, i) == 0 ); in Cec_ManDetectIsomorphism() 313 assert( Gia_ObjColors(p, i) ); in Cec_ManDetectIsomorphism() 314 if ( Gia_ObjColors(p, i) == 3 ) in Cec_ManDetectIsomorphism()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaEquiv.c | 1471 assert( Gia_ObjColors(p, i) ); in Gia_ManEquivTransform() 1481 assert( Gia_ObjColors(p, iNode) ); in Gia_ManEquivTransform() 1482 if ( Gia_ObjColors(p, iNode) != 3 ) in Gia_ManEquivTransform()
|
H A D | gia.h | 1038 static inline int Gia_ObjColors( Gia_Man_t * p, int Id ) { return p->pReprs[Id]… in Gia_ObjColors() function
|