46集处理函数 帮助处理集。 1. @in(set name, primitive index 1 [ primitive index 2,.J) 如果元素在指定集中,返回1;否则返回0。 例生.7全集为1,B是1的一个子集,C是B的补集。 sets I/×1..x4/; B(I)/x2/; C(工)|#not#@in(B,&1):; Endsets 2. @index([set name, I primitive set element) 返回在集 set name中原始集成员 primitive set element.的索引。 如果 set name被忽略,则将返回与 primitive_ set element匹配的第一个 原始集成员的索引。如果找不到,则产生一个错误。 例48如何确定集成员(B,Y)属于派生集S3。 sets: SaBC/ S2/XYZ, S3(S1, S2)/A X, AZ,BY,CX/ endsets X=@in(S3, @index(s1, B),@indeX (S2, Y))帮助处理集。 1．@in(set_name,primitive_index_1 [,primitive_index_2,…]) 如果元素在指定集中，返回1；否则返回0。 例4.7 全集为I，B是I的一个子集，C是B的补集。 sets: I/x1..x4/; B(I)/x2/; C(I)|#not#@in(B,&1):; Endsets 2．@index([set_name,] primitive_set_element) 返回在集set_name中原始集成员primitive_set_element的索引。 如果set_name被忽略，则将返回与primitive_set_element匹配的第一个 原始集成员的索引。如果找不到，则产生一个错误。 例4.8 如何确定集成员(B,Y)属于派生集S3。 sets: S1/A B C/; S2/X Y Z/; S3(S1,S2)/A X, A Z, B Y, C X/; endsets X=@in(S3,@index(S1,B),@index(S2,Y)); 4.6 集处理函数