オプションおよび内部のBDDプロパティ

次の項では、bdd.confのオプションおよび内部プロパティについて説明します。