VariCell: SuppliersHartmann.fml

File SuppliersHartmann.fml, 1.1 KB (added by acher, 6 years ago)
Line 
1B_Suppliers = FM (Suppliers :  [NWKlayer] [Beaconing] [GTS] [Security] Mesh_ClusterConfiguration [PowerSaving] [MessageFragmentation] ; Suppliers -> !Beaconing; Suppliers -> !GTS; Suppliers -> !PowerSaving; Suppliers -> !MessageFragmentation;  )
2
3A_Suppliers = FM (Suppliers :  [NWKlayer] [Beaconing] [GTS] [Security] [Mesh_ClusterConfiguration] [PowerSaving] [MessageFragmentation] ; Suppliers -> !NWKlayer; Suppliers -> !Security; Suppliers -> !Mesh_ClusterConfiguration; Suppliers -> !PowerSaving; Suppliers -> !MessageFragmentation;  )
4
5C_Suppliers = FM (Suppliers :  [NWKlayer] [Beaconing] [GTS] [Security] [Mesh_ClusterConfiguration] [PowerSaving] MessageFragmentation ; Suppliers -> !Mesh_ClusterConfiguration;  )
6
7fm_A = FM(SuppliersHartmann : ID ; )
8foreach(f in A_*) do
9insert f into fm_A.SuppliersHartmann with mand
10end
11removeFeature fm_A.ID
12
13fm_B = FM(SuppliersHartmann : ID ; )
14foreach(f in B_*) do
15insert f into fm_B.SuppliersHartmann with mand
16end
17removeFeature fm_B.ID
18
19fm_C = FM(SuppliersHartmann : ID ; )
20foreach(f in C_*) do
21insert f into fm_C.SuppliersHartmann with mand
22end
23removeFeature fm_C.ID
24