public class ProbabilityTableTest {
public static final double DELTA_THRESHOLD = ProbabilityModel.DEFAULT_ROUNDING_THRESHOLD;
@Test
public void test_divideBy() {
RandomVariable xRV = new RandVar("X", new BooleanDomain());
RandomVariable yRV = new RandVar("Y", new BooleanDomain());
RandomVariable zRV = new RandVar("Z", new BooleanDomain());
ProbabilityTable xyzD = new ProbabilityTable(new double[] {
// X = true, Y = true, Z = true
1.0,
// X = true, Y = true, Z = false