2
<property-set xmlns="http://mcc.lip6.fr/">
4
<id>EnergyBus-PT-none-ReachabilityCardinality-0</id>
5
<description>Automatically generated</description>
21
<integer-constant>2</integer-constant>
29
<integer-constant>3</integer-constant>
35
<integer-constant>3</integer-constant>
48
<id>EnergyBus-PT-none-ReachabilityCardinality-1</id>
49
<description>Automatically generated</description>
68
<id>EnergyBus-PT-none-ReachabilityCardinality-2</id>
69
<description>Automatically generated</description>
105
<integer-constant>2</integer-constant>
126
<id>EnergyBus-PT-none-ReachabilityCardinality-3</id>
127
<description>Automatically generated</description>
186
<id>EnergyBus-PT-none-ReachabilityCardinality-4</id>
187
<description>Automatically generated</description>
194
<integer-constant>3</integer-constant>
222
<id>EnergyBus-PT-none-ReachabilityCardinality-5</id>
223
<description>Automatically generated</description>
240
<id>EnergyBus-PT-none-ReachabilityCardinality-6</id>
241
<description>Automatically generated</description>
247
<integer-constant>3</integer-constant>
258
<id>EnergyBus-PT-none-ReachabilityCardinality-7</id>
259
<description>Automatically generated</description>
267
<integer-constant>3</integer-constant>
275
<integer-constant>1</integer-constant>
286
<id>EnergyBus-PT-none-ReachabilityCardinality-8</id>
287
<description>Automatically generated</description>
292
<integer-constant>3</integer-constant>
302
<id>EnergyBus-PT-none-ReachabilityCardinality-9</id>
303
<description>Automatically generated</description>
311
<integer-constant>2</integer-constant>
327
<integer-constant>1</integer-constant>
333
<integer-constant>3</integer-constant>
343
<integer-constant>3</integer-constant>
349
<integer-constant>1</integer-constant>
370
<id>EnergyBus-PT-none-ReachabilityCardinality-10</id>
371
<description>Automatically generated</description>
387
<integer-constant>3</integer-constant>
397
<integer-constant>2</integer-constant>
418
<id>EnergyBus-PT-none-ReachabilityCardinality-11</id>
419
<description>Automatically generated</description>
438
<id>EnergyBus-PT-none-ReachabilityCardinality-12</id>
439
<description>Automatically generated</description>
444
<integer-constant>3</integer-constant>
454
<id>EnergyBus-PT-none-ReachabilityCardinality-13</id>
455
<description>Automatically generated</description>
460
<integer-constant>3</integer-constant>
470
<id>EnergyBus-PT-none-ReachabilityCardinality-14</id>
471
<description>Automatically generated</description>
488
<id>EnergyBus-PT-none-ReachabilityCardinality-15</id>
489
<description>Automatically generated</description>
497
<integer-constant>3</integer-constant>
541
<integer-constant>3</integer-constant>