/** Set a probability variable given its index. */ public void set_probability_variable(int index, ProbabilityVariable p_v) { p_v.bn = this; p_v.index = index; probability_variables[index] = p_v; }