internal void AssumeTrue(AssumptionName name)
{
Assume(name, true);
}
public bool IsAssumedTrue(AssumptionName name)
{
return(IsAssumedTrue(new Assumption(name)));
}
private void Assume(AssumptionName name, bool state)
{
Assumption assumption = new Assumption(name, (state) ? 1 : 0);
Assume(assumption);
}
internal void AssumeFalse(AssumptionName name)
{
Assume(name, false);
}
public Assumption(AssumptionName name, double probability = 1.0)
{
this.Name = name;
this.Probability = probability;
}
public FavoredOutcome(AssumptionName name, string constraintString, bool favoredTrue)
: base(name)
{
this.ConstraintString = constraintString;
this.FavoredTrue = favoredTrue;
}
