public void rescore(double factor) {
    for (int i = 0; i < this.prior.size(); i++)
      this.prior.set(i, this.prior.get(i) * factor);
  }
public void rescore ( double factor ) { for ( int i = 0 ; i < this . prior . size ( ) ; i ++ ) this . prior . set ( i , this . prior . get ( i ) * factor ) ; }
Rescores all priorities by multiplying them with the same factor.
@param factor the factor to multiply with