Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/
H A DcecIso.c173 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 DgiaEquiv.c1471 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 Dgia.h1038 static inline int Gia_ObjColors( Gia_Man_t * p, int Id ) { return p->pReprs[Id]… in Gia_ObjColors() function