internal void AssumeFalse(Assumption assumption)
{
assumption.Probability = 0;
Assume(assumption);
}
private void Assume(AssumptionName name, bool state)
{
Assumption assumption = new Assumption(name, (state) ? 1 : 0);
Assume(assumption);
}
internal void AssumeTrue(Assumption assumption)
{
assumption.Probability = 1;
Assume(assumption);
}