br.uerj.petrinetanalyzer.common
Class ArcBase

java.lang.Object
  br.uerj.petrinetanalyzer.common.ArcBase

Direct Known Subclasses:

ArcGraph

public class ArcBase
extends java.lang.Object

Esta classe é a classe base para definição de Arcos (Arcs) em Redes de Petri.

Author:

Felipe Lino
Data: 09/12/2006
Atualizado: 28/01/2007

Field Summary

private boolean	ehEntrada Variável que informa se o arco é de entrada.
private PlaceBase	lugar Lugar ligado ao Arco.
private int	peso Informa o peso do arco, o default é 1.
private int	posicao Posição do Arco na Lista de Arcos
private TransitionBase	transicao Transição ligada ao Arco.

Constructor Summary

ArcBase()
Construtor default de ArcBase.

ArcBase(int peso, PlaceBase lugar, TransitionBase transicao, boolean ehEntrada)
Construtor de ArcBase.

ArcBase(PlaceBase lugar, TransitionBase transicao, boolean ehEntrada)
Construtor de ArcBase.

Method Summary

PlaceBase	getLugar() Retorna uma instância de PlaceBase que é o Lugar ligado ao Arco.
int	getPeso() Retorna o peso do Arco.
int	getPosicao() Retorna a posição do Arco na Lista de Arcos
TransitionBase	getTransicao() Retorna uma instância de TransitionBase que é a Transição ligada ao Arco.
void	setEntrada() Informa que o Arco é de entrada em uma Transição.
void	setLugar(PlaceBase lugar) Seta o Lugar ligado ao Arco.
void	setPeso(int peso) Seta o peso do Arco.
void	setPosicao(int posicao) Seta a posicao do Arco na Lista de Arcos
void	setSaida() Informa que o Arco é de saída de uma Transição.
void	setTransicao(TransitionBase transicao) Seta a Transição ligada ao Arco.
java.lang.String	toString() Retorna String com informações do Arco.
boolean	verifyEntrada() Retorna true caso o arco saia de um Lugar e entre em uma Transição.
boolean	verifySaida() Retorna false caso o arco saia de um Lugar e entre em uma Transição.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

peso

private int peso

Informa o peso do arco, o default é 1. Só admite valores positivos.

ehEntrada

private boolean ehEntrada

Variável que informa se o arco é de entrada. Um arco de entrada é aquele que sai de um Lugar e entra em uma Transição.

posicao

private int posicao

Posição do Arco na Lista de Arcos

lugar

private PlaceBase lugar

Lugar ligado ao Arco.

transicao

private TransitionBase transicao

Transição ligada ao Arco.

Constructor Detail

ArcBase

public ArcBase(int peso,
               PlaceBase lugar,
               TransitionBase transicao,
               boolean ehEntrada)

Construtor de ArcBase.

Parameters:

peso - peso do Arco

lugar - Lugar ligado ao Arco

transicao - Transição ligada ao Arco

ehEntrada - Informa se o arco sai de uma Transição e entra em um Lugar ou não.

ArcBase

public ArcBase(PlaceBase lugar,
               TransitionBase transicao,
               boolean ehEntrada)

Construtor de ArcBase. Peso default será 1.

Parameters:

lugar - Lugar ligado ao Arco

transicao - Transição ligada ao Arco

ehEntrada - Informa se o arco sai de uma Transição e entra em um Lugar ou não.

ArcBase

public ArcBase()

Construtor default de ArcBase.

Method Detail

setPosicao

public void setPosicao(int posicao)

Seta a posicao do Arco na Lista de Arcos

Parameters:

posicao -

getPosicao

public int getPosicao()

Retorna a posição do Arco na Lista de Arcos

Returns:

Posicao

getPeso

public int getPeso()

Retorna o peso do Arco.

Returns:

peso do Arco

getLugar

public PlaceBase getLugar()

Retorna uma instância de PlaceBase que é o Lugar ligado ao Arco.

Returns:

Lugar ligado ao Arco

getTransicao

public TransitionBase getTransicao()

Retorna uma instância de TransitionBase que é a Transição ligada ao Arco.

Returns:

Transição ligada ao Arco

verifyEntrada

public boolean verifyEntrada()

Retorna true caso o arco saia de um Lugar e entre em uma Transição. E retorna false caso o arco saia de uma Transição e entre em um Lugar.

Returns:

true caso o arco seja de entrada em uma Transição e false, caso seja de saída de uma Transição.

verifySaida

public boolean verifySaida()

Retorna false caso o arco saia de um Lugar e entre em uma Transição. E retorna true caso o arco saia de uma Transição e entre em um Lugar.

Returns:

false caso o arco seja de saida de um Lugar e true, caso seja de entrada de um Lugar.

setPeso

public void setPeso(int peso)

Seta o peso do Arco.

Parameters:

peso - peso do Arco

setLugar

public void setLugar(PlaceBase lugar)

Seta o Lugar ligado ao Arco.

Parameters:

lugar - Lugar ligado ao Arco

setTransicao

public void setTransicao(TransitionBase transicao)

Seta a Transição ligada ao Arco.

Parameters:

transicao - Transição ligada ao Arco

setEntrada

public void setEntrada()

Informa que o Arco é de entrada em uma Transição.

setSaida

public void setSaida()

Informa que o Arco é de saída de uma Transição.

toString

public java.lang.String toString()

Retorna String com informações do Arco.

Overrides:

toString in class java.lang.Object

Returns:

informações do Arco