<bicond>
<bicond> (必要十分な素性構造の制約) 素性構造の制約を必要十分条件として定義する。 前提部と帰結部は、素性構造またはそのグループとして定義される。 当該制約は、与えられた前提部と帰結部の素性構造が共に真であるか、またはともに偽である場合に、満たされる。 [19.11 Feature System Declaration] | |
モジュール | iso-fs — Feature Structures |
属性 |
|
上位 |
iso-fs: fsConstraints
|
下位 | |
例 | |
Content model |
<content> |
宣言 |
<rng:element name="bicond"> element bicond { att.global.attributes, att.global.rendition.attributes, att.global.linking.attributes, att.global.analytic.attributes, att.global.facs.attributes, att.global.change.attributes, att.global.responsibility.attributes, att.global.source.attributes, ( ( fs | f ), iff, ( fs | f ) ) } |