Nom du cluster :
(pers = {})
Liste des états :
(pers = {} & \n dom_indus = {})
(pers = {} & \n dom_indus /= {} & \n (lic |>> {ok}) = {})
(pers = {} & \n dom_indus /= {} & \n (lic |>> {ok}) /= {})
-
Retour
-