<bicond>
<bicond> (이중 조건 자질-구조 제약이중조건부 자질구조 제약) 이중 조건 자질-구조 제약을 정의한다; 전건과 후건 모두 자질 구조 또는 자질 구조 집합으로 명시된다; 전건과 후건 모두 주어진 자질 구조를 포섭하거나 둘 다 포섭하지 않는다면 이 제약은 만족된다.이중조건부 자질구조 제약을 정의한다: 결론과 전제 모두 자질구조 또는 자질구조군으로 명시된다; 이 제약은 결론과 전제 모두가 제시된 주어진 자질구조를 포섭하거나, 포섭하지 않을 때만 만족된다. 18.11 Feature System Declaration | |
모듈 | iso-fs — 18 Feature Structures |
에 의해 사용된 | |
포함할 수 있다 | |
선언 |
element bicond { att.global.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> |