Searched refs:Ivy_TruthDsdPrint_rec (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
| H A D | ivyDsd.c | 494 void Ivy_TruthDsdPrint_rec( FILE * pFile, int iNode, Vec_Int_t * vTree ) in Ivy_TruthDsdPrint_rec() function
506 Ivy_TruthDsdPrint_rec( pFile, Node.Fan0 >> 1, vTree ); in Ivy_TruthDsdPrint_rec()
515 Ivy_TruthDsdPrint_rec( pFile, Var >> 1, vTree ); in Ivy_TruthDsdPrint_rec()
528 Ivy_TruthDsdPrint_rec( pFile, Var >> 1, vTree ); in Ivy_TruthDsdPrint_rec()
543 Ivy_TruthDsdPrint_rec( pFile, VarC >> 1, vTree ); in Ivy_TruthDsdPrint_rec()
546 Ivy_TruthDsdPrint_rec( pFile, Var1 >> 1, vTree ); in Ivy_TruthDsdPrint_rec()
549 Ivy_TruthDsdPrint_rec( pFile, Var0 >> 1, vTree ); in Ivy_TruthDsdPrint_rec()
571 Ivy_TruthDsdPrint_rec( pFile, Vec_IntSize(vTree)-1, vTree ); in Ivy_TruthDsdPrint()
|