Searched refs:fXor2 (Results 1 – 1 of 1) sorted by relevance
937 …int fXor2 = iBox2 >= 0 ? (int)(Vec_IntEntry(vAdds, 6*iBox2+3) == Vec_IntEntry(vAdds, 6*iBox+k)) : … in Gia_WriteDotAig() local942 fprintf( pFile, "style = %s", fXor2? "bold" : "solid" ); in Gia_WriteDotAig()