|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Library
The Interface Library.
Method Summary | |
---|---|
void |
colorEnabledTransitions(boolean color)
Color enabled transitions. |
void |
fireTransition(Transition transition)
Fire transition. |
void |
fireTransitions(java.util.List<Transition> transitions)
Fire transitions. |
double[] |
getMarking()
Gets the marking. |
Marking |
getMarking2()
Gets the marking2. |
Simulator |
getSimulator()
Gets the simulator. |
void |
highlightEnabledTransitionsDelay(int ms)
Highlight enabled transitions delay. |
Library |
parse2Lib(PetriNet petriNet)
Parse to library. |
void |
setEnabledTransitionColor(java.awt.Color color)
Sets the enabled transition color. |
void |
showTokenFlow(boolean show)
Show token flow. |
void |
write2File(boolean write)
Write2 file. |
Method Detail |
---|
Library parse2Lib(PetriNet petriNet)
petriNet
- the petri net
double[] getMarking()
Marking getMarking2()
void fireTransition(Transition transition)
transition
- the transitionvoid fireTransitions(java.util.List<Transition> transitions)
transitions
- the transitionsvoid setEnabledTransitionColor(java.awt.Color color)
color
- the new enabled transition colorvoid colorEnabledTransitions(boolean color)
color
- the colorvoid highlightEnabledTransitionsDelay(int ms)
ms
- the msvoid showTokenFlow(boolean show)
show
- the showvoid write2File(boolean write)
write
- the writeSimulator getSimulator()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |