Uses of Class
br.uerj.petrinetanalyzer.engine.PetriNetProperties

Packages that use PetriNetProperties

br.uerj.petrinetanalyzer.engine
br.uerj.petrinetanalyzer.gui

Uses of PetriNetProperties in br.uerj.petrinetanalyzer.engine

Fields in br.uerj.petrinetanalyzer.engine declared as PetriNetProperties

private PetriNetProperties

PetriNetAnalyzer.properties Propriedades da Rede

Methods in br.uerj.petrinetanalyzer.engine that return PetriNetProperties

PetriNetProperties

PetriNetAnalyzer.getProperties() Retorna as Propriedades encontradas na Rede.

Uses of PetriNetProperties in br.uerj.petrinetanalyzer.gui

Fields in br.uerj.petrinetanalyzer.gui declared as PetriNetProperties

private PetriNetProperties

AnalyzerWindow.pnProp

Constructors in br.uerj.petrinetanalyzer.gui with parameters of type PetriNetProperties

AnalyzerWindow(ImplPetriNetBase pn, javax.swing.JTree tree, PetriNetProperties prop)
Construtor recebendo a rede de petri, de onde serão extraídas informações para serem exibidas.