/** * Assigns a probability to a label, discarding any previously assigned probability. * * @param probability the probability to assign */ public void set(Probability probability) { this.probability = probability.getLog(); }
/** * Checks if a probability is greater than the old one. * * @param probability the probability to assign */ public boolean isLarger(Probability probability) { return this.probability < probability.getLog(); }
/** * Assigns a probability to a label, discarding any previously assigned probability, * if the new probability is greater than the old one. * * @param probability the probability to assign */ public void setIfLarger(Probability probability) { if (this.probability < probability.getLog()) { this.probability = probability.getLog(); } }
/** * Assigns a probability to a label, discarding any previously assigned probability. * * @param t the label to which the probability is being assigned * @param probability the probability to assign */ public void set(T t, Probability<T> probability) { isNormalised = false; map.put(t, probability.getLog()); }
/** * Assigns a probability to a label, discarding any previously assigned probability. * * @param probability the probability to assign */ public void set(Probability probability) { this.probability = probability.getLog(); }
/** * Checks if a probability is greater than the old one. * * @param probability the probability to assign */ public boolean isLarger(Probability probability) { return this.probability < probability.getLog(); }
/** * Assigns a probability to a label, discarding any previously assigned probability, * if the new probability is greater than the old one. * * @param probability the probability to assign */ public void setIfLarger(Probability probability) { if (this.probability < probability.getLog()) { this.probability = probability.getLog(); } }
/** * Assigns a probability to a label, discarding any previously assigned probability. * * @param probability the probability to assign */ public void set(Probability probability) { this.probability = probability.getLog(); }
/** * Checks if a probability is greater than the old one. * * @param probability the probability to assign */ public boolean isLarger(Probability probability) { return this.probability < probability.getLog(); }
/** * Assigns a probability to a label, discarding any previously assigned probability, * if the new probability is greater than the old one. * * @param probability the probability to assign */ public void setIfLarger(Probability probability) { if (this.probability < probability.getLog()) { this.probability = probability.getLog(); } }
/** * Assigns a probability to a label, discarding any previously assigned probability. * * @param t the label to which the probability is being assigned * @param probability the probability to assign */ public void set(T t, Probability<T> probability) { isNormalised = false; map.put(t, probability.getLog()); }
/** * Assigns a probability to a label, discarding any previously assigned probability. * * @param t the label to which the probability is being assigned * @param probability the probability to assign */ public void set(T t, Probability<T> probability) { isNormalised = false; map.put(t, probability.getLog()); }