br.uerj.petrinetanalyzer.gui.objects
Class TreeNodeState

java.lang.Object
  br.uerj.petrinetanalyzer.gui.objects.TreeNodeState

public class TreeNodeState
extends java.lang.Object

Define um estado da Rede de Petri. Um estado é caracterizado pela marcação dos lugares, transições disponíveis, e seqüência de disparos para chegar ao estado em determinado momento.

Author:

Felipe Lino
Data: 11/02/2007
Atualizado: 01/03/2007

Field Summary

private int[]	fireSequence Lista com a sequência de disparos
private boolean[]	listTransFire Lista booleana informando quais transições podem ser diparadas.
private int[]	marcacao Lista de Lugares
(package private) static long	serialVersionUID Variável requisitada na herança de DefaultMutableTreeNode

Constructor Summary

TreeNodeState(int[] fireSequence, int[] marcacao, boolean[] listTransFire)
Construtor.

Method Summary

boolean	equals(java.lang.Object obj) Sobrescreve o método equals.
int[]	getFireSequence() Retorna seqüência de disparos.
int[]	getListMarcacao() Pega lista de marcações dos Lugares.
boolean[]	getListTransFire() Pega Lista de Transições habilitadas para disparo
java.lang.String	toString() Sobrescreve o método toString.

Methods inherited from class java.lang.Object

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

Field Detail

serialVersionUID

static final long serialVersionUID

Variável requisitada na herança de DefaultMutableTreeNode

See Also:

Constant Field Values

marcacao

private int[] marcacao

Lista de Lugares

listTransFire

private boolean[] listTransFire

Lista booleana informando quais transições podem ser diparadas.

fireSequence

private int[] fireSequence

Lista com a sequência de disparos

Constructor Detail

TreeNodeState

public TreeNodeState(int[] fireSequence,
                     int[] marcacao,
                     boolean[] listTransFire)

Construtor.

Parameters:

fireSequence - Seqüência de disparos

marcacao - Marcação dos lugares

listTransFire - Lista informando se a transição está ou não habilitada para disparo

Method Detail

getListMarcacao

public int[] getListMarcacao()

Pega lista de marcações dos Lugares.

Returns:

Lista de marcações dos lugares.

getFireSequence

public int[] getFireSequence()

Retorna seqüência de disparos.

Returns:

Seqüência de disparos.

getListTransFire

public boolean[] getListTransFire()

Pega Lista de Transições habilitadas para disparo

Returns:

Lista de Transições habilitadas

toString

public java.lang.String toString()

Sobrescreve o método toString. É o que irá aparecer no rótulo da árvore de disparos.

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Sobrescreve o método equals. Verifica se o objeto recebido como parâmetro é igual ao objeto que invoca o método.

Overrides:

equals in class java.lang.Object