Ejemplo n.º 1
0
bool symbolic_transformation_based_synthesis( circuit& circ, const rcbdd& cf,
                                              const properties::ptr& settings,
                                              const properties::ptr& statistics )
{
  /* settings */
  const auto verbose = get( settings, "verbose", false );

  /* timer */
  properties_timer t( statistics );

  /* number of lines */
  const auto n = cf.num_vars();

  /* copy meta data */
  copy_meta_data( circ, cf );

  auto f = cf.chi();
  auto assignment_count = 0u;

  const auto diff = at_least_one_different( cf );

  char *cube = new char[3u * cf.num_vars()];

  SL( const double sec = 1000000000.0L; )
Ejemplo n.º 2
0
std::string store_entry_to_string<rcbdd>( const rcbdd& bdd )
{
  return ( boost::format( "%d variables, %d nodes" ) % bdd.num_vars() % bdd.chi().nodeCount() ).str();
}