/// <summary>
/// Initializes a new instance of the <see cref="FaultTreeLiteralNode"/> class.
/// </summary>
/// <param name="terminal">
/// The terminal.
/// </param>
/// <param name="value">
/// The value.
/// </param>
public FaultTreeLiteralNode(FaultTreeTerminalNode terminal, bool value)
: this(terminal.ID, value)
{
}
/// <summary>
/// Initializes a new instance of the <see cref="FaultTreeTerminalNode"/> class.
/// </summary>
/// <param name="terminal">
/// The terminal.
/// </param>
public FaultTreeTerminalNode(FaultTreeTerminalNode terminal)
: this(terminal.ID, terminal.Label)
{
}