Method format_print_weight_vector

IntegerProgramming/term_ordering.cc:1451–1456

}

void term_ordering::format_print_weight_vector(ofstream& output) const
{
  for(short i=0;i<weighted_block_size;i++)
    output<<setw(6)<<setprecision(2)<<weight_vector[i];
  output<<endl;
}
#endif  // TERM_ORDERING_CC