|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectprocope.data.petrinets.Transition
public class Transition
Represents one transition in a Petri net. It consists of a set of input and output arcs and optionally a set of attributes given as key/value pairs.
PetriNetCreator
Constructor Summary | |
---|---|
Transition(Arc[] in,
Arc[] out)
Create transition consisting of given sets of input and output arcs |
|
Transition(Arc[] in,
Arc[] out,
Map<String,String> attributes)
Create transition consisting of given sets of input and output arcs and a map of attributes |
Method Summary | |
---|---|
Map<String,String> |
getAttributes()
Returns the attributes associated with this transition. |
Arc[] |
getIn()
Returns the input arcs for this transition. |
Arc[] |
getOut()
Returns the output arcs for this transition |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Transition(Arc[] in, Arc[] out)
in
- array of input arcsout
- array of output arcspublic Transition(Arc[] in, Arc[] out, Map<String,String> attributes)
in
- array of input arcsout
- array of output arcsattributes
- attributes for that transitionMethod Detail |
---|
public Map<String,String> getAttributes()
public Arc[] getIn()
public Arc[] getOut()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |