論理状態とルール変数

コンフィギュレータ・エンジンは、構成セッション中に、モデルのノードに有効な値のドメインを絞り込もうとします。ドメインの外側の境界は、最小値と最大値を持つノードを定義することによって定義します。

実行時の構成に対して選択も除外もされていない変数は、ロジック状態がバインドなしです。変数は、そのドメインがオープンしているときにバインド解除されます。つまり、値が割り当てられていないか、そのメンバーのセットがファイナライズされていません。エンド・ユーザーがまだ選択を行っていないか、値を入力していないか、終了およびレビュー(自動補完)を実行していないため、変数がバインドされていない可能性があります。

実行時、SelectionStateおよびDetailedSelectionStateシステム属性の値は、構成に対して選択も除外もされていないオプションに対して選択可能です。