/// <summary>
/// Indicates whether the condition is satisfied with the value provided
/// Hyp : the value of the iterator variable has been assigned before
/// </summary>
/// <param name="context"></param>
/// <param name="explain"></param>
/// <returns></returns>
public bool ConditionSatisfied(InterpretationContext context, ExplanationPart explain)
{
bool retVal = true;
if (ConditionExpression != null)
{
BoolValue b = ConditionExpression.GetExpressionValue(context, explain) as BoolValue;
ExplanationPart.CreateSubExplanation(explain, ConditionExpression, b);
if (b == null)
{
retVal = false;
}
else
{
retVal = b.Val;
}
}
return(retVal);
}