<bicond>
<bicond> (이중 조건 자질-구조 제약이중조건부 자질구조 제약) 이중 조건 자질-구조 제약을 정의한다; 전건과 후건 모두 자질 구조 또는 자질 구조 집합으로 명시된다; 전건과 후건 모두 주어진 자질 구조를 포섭하거나 둘 다 포섭하지 않는다면 이 제약은 만족된다.이중조건부 자질구조 제약을 정의한다: 결론과 전제 모두 자질구조 또는 자질구조군으로 명시된다; 이 제약은 결론과 전제 모두가 제시된 주어진 자질구조를 포섭하거나, 포섭하지 않을 때만 만족된다. 18.11 Feature System Declaration | |
모듈 | iso-fs — 18 Feature Structures |
속성 | att.global (@xml:id, @n, @xml:lang, @rend, @rendition, @xml:base, @xml:space) (att.global.linking (@corresp, @synch, @sameAs, @copyOf, @next, @prev, @exclude, @select)) (att.global.analytic (@ana)) (att.global.facs (@facs)) (att.global.change (@change)) |
에 의해 사용된 | |
에 의해 포함된 | iso-fs: fsConstraints |
포함할 수 있다 | |
선언 |
element bicond { att.global.attributes, att.global.linking.attributes, att.global.analytic.attributes, att.global.facs.attributes, att.global.change.attributes, ( ( fs | f ), iff, ( fs | f ) ) } |
예 |
<bicond>
<fs> <f name="FOO"> <symbol value="42"/> </f> </fs> <iff/> <fs> <f name="BAR"> <binary value="true"/> </f> </fs> </bicond> |