制約 (tigrt0137m000)

セッションの目的:制約」をリストまたは定義します。

制約 ID

制約」を識別するコード

記述

コードの記述または名称

制約パート

制約は 3 つの構成要素から成ります。制約の各構成要素に対して、制約ラインを定義できます。

シリアル番号

制約構成要素の制約ラインを識別する連番

特徴/様相

制約構成要素を適用する、特徴または特定の様相 (特徴に複数の様相がリンクしている場合)。特徴に複数の様相がリンクしている場合は、[特徴内の様相]フィールドの様相番号によって様相を区別します。

注: 

[特徴 (tigrt0101m000)] セッションで特徴を定義できます。

計算 ID

計算を識別するコード。制約の構成要素は計算に適用されます。

注: 

[計算 (tigrt0132m000)] セッションで計算を定義できます。

特徴内の様相

特徴に複数の様相がリンクしている場合は、様相番号によって様相を区別します。

計算 ID

コードの記述または名称

様相または計算結果の比較に使用する値

入力した値は、様相にリンクしている回答グループの戻り値か、計算の回答になります。

回答

コードの記述または名称

演算子

制約で使用する算術記号

数式記号は、2 つの連続する制約ライン間の関係を示します。& は、V 記号よりも優先順位が高くなります。