/// <summary>
/// Initializes a new instance of the <see cref="BinaryExPoint" /> class.
/// </summary>
/// <param name="expression">Conditional expression</param>
/// <param name="condition">Condition determining whether true or false, or merge will be used</param>
/// <param name="trueAssume">Assume point for true binary operand </param>
/// <param name="falseAssume">Assume point for false binary operand </param>
/// <param name="trueOperand">True operand</param>
/// <param name="falseOperand">False operand</param>
internal ConditionalExPoint(ConditionalEx expression, ValuePoint condition, AssumePoint trueAssume, AssumePoint falseAssume, ValuePoint trueOperand, ValuePoint falseOperand)
{
Expression = expression;
Condition = condition;
TrueAssume = trueAssume;
FalseAssume = falseAssume;
TrueOperand = trueOperand;
FalseOperand = falseOperand;
}
/// <summary>
/// Visits the assumption program point.
/// </summary>
/// <param name="p">Visited point</param>
public virtual void VisitAssume(AssumePoint p)
{
VisitPoint(p);
}