|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use TransitionGraph | |
|---|---|
| br.uerj.petrinetanalyzer.gui.listener | |
| br.uerj.petrinetanalyzer.gui.objects | |
| Uses of TransitionGraph in br.uerj.petrinetanalyzer.gui.listener |
|---|
| Fields in br.uerj.petrinetanalyzer.gui.listener declared as TransitionGraph | |
|---|---|
(package private) TransitionGraph |
TransActionListener.trans
Transição correntemente selecionada. |
| Methods in br.uerj.petrinetanalyzer.gui.listener with parameters of type TransitionGraph | |
|---|---|
void |
TransActionListener.setSelectedTransition(TransitionGraph trans)
Seta a Transição selecionada pelo mouse. |
| Uses of TransitionGraph in br.uerj.petrinetanalyzer.gui.objects |
|---|
| Methods in br.uerj.petrinetanalyzer.gui.objects that return TransitionGraph | |
|---|---|
TransitionGraph |
PetriNetGraph.getTransition(int posicao)
Retorna Transição através da posição. |
TransitionGraph |
PetriNetGraph.getTransition(java.lang.String nome)
Retorna Transição através do Nome. |
| Methods in br.uerj.petrinetanalyzer.gui.objects with parameters of type TransitionGraph | |
|---|---|
void |
PetriNetGraph.addTransicao(TransitionGraph transicao)
Adiciona transição. |
boolean |
PetriNetGraph.verifyTransitionSelected(TransitionGraph trans)
Verifica se a Transição passada como parâmetro foi a última selecionada. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||