+ Synopsis [Cleans MarkB.]

+ Synopsis [Write speculative miter for one node.]

+

+ Description []

+

+ SideEffects []

+

+ SeeAlso []

+

+***********************************************************************/

+void Aig_ManDump( Aig_Man_t * p )

+{

+ static int Counter = 0;

+ char FileName[20];

+ // dump the logic into a file

+ sprintf( FileName, "aigbug\\%03d.blif", ++Counter );

+ Aig_ManDumpBlif( p, FileName );

+ printf( "Intermediate AIG with %d nodes was written into file \"%s\".\n", Aig_ManNodeNum(p), FileName );

+}

+

+/**Function*************************************************************

+

+ if ( (int)pObj->pData == 1359 )

+ {

+ int x = 0;

+ }