myskyko / bdd Goto Github PK

    void G1Eager( int fanin, int fanout )
    {
      if ( nVerbose > 2 )
	{
	  std::cout << "\tEager reduce with a connection from gate" << fanin << " to gate" << fanout << std::endl;
	}
      int wire = CountWire();
      CspfFICone( fanout );
      if ( wire == CountWire() )
	{
	  Disconnect( fanin, fanout );
	  CspfFICone( fanout );
	  CalcG( fanin ); // added
	  CspfFICone( fanin ); // added
	  return;
	}
      Cspf();
    }

	  // recalculate for weak
	  if ( fWeak )
	    {
	      CspfFICone( id ); -> Cspf();
	    }