|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Label | |
|---|---|
| br.uerj.petrinetanalyzer.gui.objects | |
| Uses of Label in br.uerj.petrinetanalyzer.gui.objects |
|---|
| Methods in br.uerj.petrinetanalyzer.gui.objects that return Label | |
|---|---|
Label |
PetriNetGraph.getLabel(int posicao)
Retorna o Rótulo da posição desejada. |
Label |
PetriNetGraph.getSelectedLabel()
|
| Methods in br.uerj.petrinetanalyzer.gui.objects with parameters of type Label | |
|---|---|
void |
PetriNetGraph.addLabel(Label label)
Adiciona Rótulo. |
void |
PetriNetGraph.removeLabel(Label label)
Remove o rótulo do array de rótulos. |
boolean |
PetriNetGraph.verifyLabelSelected(Label label)
Verifica se o rótulo passado como parâmetro foi o último selecionado. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||