/// <summary>
/// Removes the header block.
/// </summary>
/// <param name="basicBlock">The basic block.</param>
public void RemoveHeaderBlock(BasicBlock basicBlock)
{
if (HeadBlocks.Contains(basicBlock))
{
HeadBlocks.Remove(basicBlock);
basicBlock.IsHeadBlock = false;
}
}
/// <summary>
/// Adds the header block.
/// </summary>
/// <param name="basicBlock">The basic block.</param>
public void AddHeadBlock(BasicBlock basicBlock)
{
HeadBlocks.Add(basicBlock);
basicBlock.IsHeadBlock = true;
}
