分枝控制结构处理的关键在于合并不同条件分枝中的操作,以使各分枝操作尽可能地共享功能单元。
  定义5.7 在具有条件分枝的控制数据流图中,不能在同一条件下执行的操作称为互斥操作。互斥操作一定是条件分枝中的操作。
  图5.22所示是一个带有嵌套分枝结构的控制数据流图。其中操作2与操作3(图中用蓝色表示)在不同的条件分枝中,无论条件是否满足他们都不可能在同一条件下执行,因此操作2与操作3是互斥操作。同样的道理,操作8与操作4(图中用红色表示)在不同的条件分枝中,他们也不可能在同一条件下执行,因而也是互斥操作。
图5.22 带有嵌套分枝结构的控制数据流图