fr_b02 / petri / src / arcElement / ArcInterface.java @ 6
Historique | Voir | Annoter | Télécharger (367 octets)
1 |
package arcElement; |
---|---|
2 |
/**
|
3 |
* Method that an arc must define
|
4 |
*
|
5 |
*/
|
6 |
public interface ArcInterface { |
7 |
/**
|
8 |
* Method that do the transition
|
9 |
*
|
10 |
*/
|
11 |
public void doTransition(); |
12 |
/**
|
13 |
* Method that check if it is pullable
|
14 |
*
|
15 |
*/
|
16 |
public boolean isPullable(); |
17 |
/**
|
18 |
* Method that check if it is active
|
19 |
*
|
20 |
*/
|
21 |
public boolean isActive(); |
22 |
|
23 |
} |