Specman中的列表生成

Question

我的类型为my_type：[a，b，c，d，e，f]; 我有my_list：my_type的列表；

我想生成my_list，但是有限制c，d，f应该在一起。如果生成的列表中有c，d或f，则必须全部包含3个。 （列表中没有一个。）

Answer 1

您在这里：

type my_type : [a,b,c,d,e,f]; 

{
  my_list: list of my_type;
  keep my_list.has(it in [c,d,f]) => ( ( c in my_list ) && ( d in my_list ) && ( f in my_list) );
}