構成の更新

次の各項では、BDDの構成を更新する方法について説明します。