fr_b02 / petri / src / arcElement / ArcZero.java @ 4
Historique | Voir | Annoter | Télécharger (432 octets)
1 |
package arcElement; |
---|---|
2 |
|
3 |
|
4 |
|
5 |
import element.Place; |
6 |
|
7 |
|
8 |
|
9 |
public class ArcZero extends ArcOutering { |
10 |
|
11 |
public ArcZero(Place place, int value) { |
12 |
super(place, value);
|
13 |
} |
14 |
|
15 |
public void doTransition() { |
16 |
} |
17 |
public boolean isActive() { |
18 |
return (this.getPlace().getToken()==0); |
19 |
} |
20 |
public boolean isPullable() { |
21 |
return this.isActive(); |
22 |
} |
23 |
public String toString() { |
24 |
return "ArcZero, "+this.getPlace(); |
25 |
} |
26 |
|
27 |
|
28 |
} |