br.uerj.petrinetanalyzer.common.interfaces
Interface IntfPetriNetBase

All Known Implementing Classes:

ImplPetriNetBase, PetriNetGraph

public interface IntfPetriNetBase

Interface base para definição de Redes de Petri.

Author:

Felipe Lino
Data: 09/12/2006

Method Summary

void	addArco(ArcBase arco)
void	addLugar(PlaceBase lugar)
void	addTransicao(TransitionBase transicao)
void	buildMatrizEntradaAndSaida()
void	buildMatrizIncidencia()
int	getDimensao()
java.util.ArrayList	getListArcos()
java.util.ArrayList	getListLugar()
java.util.ArrayList	getListTransicao()
PlaceBase	getLugar(int posicao)
PlaceBase	getLugar(java.lang.String nome)
int[][]	getMatrizEntrada()
int[][]	getMatrizIncidencia()
int[][]	getMatrizSaida()
java.lang.String	getNome()
int	getNumArco()
int	getNumLugar()
int	getNumTransicao()
TransitionBase	getTransicao(int posicao)
TransitionBase	getTransicao(java.lang.String nome)
void	removeArco(ArcBase arco)
void	removeArco(int posicao)
void	removeLugar(int posicao)
void	removeLugar(PlaceBase lugar)
void	removeLugar(java.lang.String nome)
void	removeTransicao(int posicao)
void	removeTransicao(java.lang.String nome)
void	removeTransicao(TransitionBase transicao)
void	setNome(java.lang.String nome)

Method Detail

setNome

void setNome(java.lang.String nome)

addLugar

void addLugar(PlaceBase lugar)

addTransicao

void addTransicao(TransitionBase transicao)

addArco

void addArco(ArcBase arco)

removeLugar

void removeLugar(java.lang.String nome)

removeLugar

void removeLugar(int posicao)

removeLugar

void removeLugar(PlaceBase lugar)

removeTransicao

void removeTransicao(java.lang.String nome)

removeTransicao

void removeTransicao(int posicao)

removeTransicao

void removeTransicao(TransitionBase transicao)

removeArco

void removeArco(int posicao)

removeArco

void removeArco(ArcBase arco)

getLugar

PlaceBase getLugar(java.lang.String nome)

getLugar

PlaceBase getLugar(int posicao)

getTransicao

TransitionBase getTransicao(java.lang.String nome)

getTransicao

TransitionBase getTransicao(int posicao)

getListLugar

java.util.ArrayList getListLugar()

getListTransicao

java.util.ArrayList getListTransicao()

getListArcos

java.util.ArrayList getListArcos()

buildMatrizEntradaAndSaida

void buildMatrizEntradaAndSaida()

buildMatrizIncidencia

void buildMatrizIncidencia()

getMatrizEntrada

int[][] getMatrizEntrada()

getMatrizSaida

int[][] getMatrizSaida()

getMatrizIncidencia

int[][] getMatrizIncidencia()

getDimensao

int getDimensao()

getNumLugar

int getNumLugar()

getNumTransicao

int getNumTransicao()

getNumArco

int getNumArco()

getNome

java.lang.String getNome()