/// <summary>
/// Initializes a new instance of the <see cref="CBDDNode"/> struct.
/// </summary>
/// <param name="variable">The variable index.</param>
/// <param name="nextVariable">The next index.</param>
/// <param name="lo">The low (false) child.</param>
/// <param name="hi">The high (true) child.</param>
public CBDDNode(int variable, int nextVariable, DDIndex lo, DDIndex hi)
{
this.data = new NodeData32(variable, false, nextVariable);
this.Low = lo;
this.High = hi;
}
/// <summary>
/// Initializes a new instance of the <see cref="BDDNode"/> struct.
/// </summary>
/// <param name="variable">The variable index.</param>
/// <param name="lo">The low (false) child.</param>
/// <param name="hi">The high (true) child.</param>
/// <param name="prob">The probability of event occurs.</param>
public BDDNode(int variable, DDIndex lo, DDIndex hi, double prob)
{
this.data = new NodeData32(variable, false, prob);
this.Low = lo;
this.High = hi;
}