private double probabilityOf(IProposition phi)
{
double[] probSum = new double[1];
//ProbabilityTable.Iterator di = new ProbabilityTable.Iterator() {
// public void iterate(Map<RandomVariable, Object> possibleWorld,
// double probability) {
// if (phi.holds(possibleWorld)) {
// probSum[0] += probability;
// }
// }
//};
//distribution.iterateOverTable(di);
// TODO
return probSum[0];
}
}