/// <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; }