Method is_positive

IntegerProgramming/term_ordering.cc:379–385

BOOLEAN term_ordering::is_positive() const
{
  for(int i=0;i<weighted_block_size;i++)
    if(weight_vector[i]<=0)
      return FALSE;
  return TRUE;
}