|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectdata.petrinets.Arc
public class Arc
Represents one arc in a Petri net (the connection between a place and a transition). It consists of the place ID it is associated with and optionally a set of annotations for that edge represented as key/value pairs.
Constructor Summary | |
---|---|
Arc(String place)
Creates an arc to a given place |
|
Arc(String place,
Map<String,String> attributes)
Creates an arc to a given places having a specified set of attributes |
Method Summary | |
---|---|
Map<String,String> |
getAttributes()
Returns the attributes of this arc |
String |
getPlaceID()
Returns the ID of the place associated with this arc |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Arc(String place)
place
- place to which this arc leadspublic Arc(String place, Map<String,String> attributes)
place
- place to which this arc leadsattributes
- attributes for that arcMethod Detail |
---|
public String getPlaceID()
public Map<String,String> getAttributes()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |