機械翻訳について

ルールの論理の指定

文ルールでロジック演算子を使用して、「必要」、「否定」、「暗黙」などの関係を強制します。

この疑似コードについて考えてみます:

If you select option a in the x configured item, then you must also select option y.

ノート

  • ロジックは、オペランドxからオペランドyに、またはオペランドyからオペランドxに伝播できます。
  • ロジックが関係の値を伝播しない場合、ルールの反対側のオプションのロジックは変更されません。
  • trueという用語は、構成にオプションが含まれていることを意味します。
  • 「偽」という用語は、構成にオプションが含まれないことを意味します。
  • ここでは、trueおよび「偽」という用語を使用して、ルールがどのように機能するかを文書化します。 trueおよび「偽」はコードで使用しません。

必須

オプションを選択すると、Oracle Configuratorによって他のオプションにも同じ値が適用されます。

必要関係の影響

指定に応じて、次のようになります。

  • オプションaを選択し、コンフィギュレータはオプションbも選択します。
  • オプションaの選択を解除すると、コンフィギュレータはオプションbの選択も解除します。
  • オプションbを選択し、コンフィギュレータはオプションaも選択します。
  • オプションbの選択を解除すると、コンフィギュレータはオプションaの選択も解除します。

否定

オプションを選択すると、コンフィギュレータは反対の値をもう一方のオプションに適用します。

否定関係の影響

指定に応じて、次のようになります。

  • オプションaを選択し、コンフィギュレータでオプションbの選択を解除します。
  • オプションaの選択を解除すると、コンフィギュレータはオプションbを選択します。
  • オプションbを選択し、コンフィギュレータでオプションaの選択を解除します。
  • オプションbの選択を解除すると、コンフィギュレータはオプションaを選択します。

示す

暗黙ルールがどのように機能するかを次に示します。

示す関係の影響

指定に応じて、次のようになります。

  • オプションaを選択し、コンフィギュレータはオプションbも選択します。
  • オプションaの選択を解除すると、コンフィギュレータはオプションbの選択を解除し、オプションbを選択または選択解除できます。
  • オプションbを選択してから、コンフィギュレータはオプションaの選択を解除し、オプションaを選択または選択解除できます。
  • オプションbの選択を解除すると、コンフィギュレータはオプションaの選択も解除します。

除外

除外ルールの仕組みを次に示します。

除外リレーションの影響

指定に応じて、次のようになります。

  • オプションaを選択してから、コンフィギュレータはオプションbの選択を解除し、ルールによって構成からbが除外されるため、bを選択できなくなります。
  • オプションaの選択を解除すると、オプションbが使用可能になり、オプションbを選択または選択解除できます。
  • オプションbを選択してから、コンフィギュレータはオプションaの選択を解除し、オプションaを選択しないようにします。
  • オプションbの選択を解除すると、オプションaが使用可能になり、オプションaを選択または選択解除できます。

論理状態とルール変数

コンフィギュレータは、実行時に各モデルのノードに構成できる値を絞り込もうとします。 各ノードの最小値と最大値を指定できます。 実行しない場合:

  • オプションを選択または除外すると、コンフィギュレータは変数をバインドしません。
  • 選択を行い、値を入力するか、「終了してレビュー」をクリックしてから、コンフィギュレータは変数をバインドしません。
  • 選択するか、コンフィギュレータが実行時にオプションを除外していない場合、SelectionState属性およびDetailedSelectionState属性の値は選択可能です。
  • コンフィギュレータは、デフォルト、検索ディシジョンまたはオートコンプリートを介してオプションを除外することもできます。