颜色集的大小和复杂性
CPN 工具帮助
CPN ML
按大小和复杂性将颜色集分类。
复杂性
如果一个颜色集来源于其他的颜色集,那么这个颜色集就是复合的,否则就是简单的。
大小
颜色集能被分为大或小。这个区别决定了预先定义的哪个功能对特殊颜色集是有意义的。
如果它包含太多的元素那么这个颜色集就是大的,否则就是小的。
单位颜色集
,
布尔颜色集
,
索引颜色集
, 和
列举颜色集
为小。
当且仅当
整数颜色集
包括
with
结构时,它们为小。
当且仅当
字符串颜色集
包含了
with
...
and
结构时,它们为小。
当且仅当
乘积颜色集
,
记录颜色集
, 和
合并颜色集
的成分颜色集是小时,它们为小。
当且仅当
列表颜色集
的成分颜色集是小并且它们包括
with
结构时,它们为小。
当且仅当
子集颜色集
的成分颜色集是小或者它们的子集结构是一个序列,它们为小。