Statistiques
| Révision:

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
}