br.uerj.petrinetanalyzer.common.interfaces
Interface IntfSimulator

All Known Implementing Classes:
ImplSimulator

public interface IntfSimulator

Esta Interface trata dos principais métodos que a engine do simulador deve ter disponível para a interação com a interface gráfica.

Author:
Felipe Lino
Data: 20/02/2007

Method Summary
 void disparaTransicao(int posicao)
          Dispara transição indicada pela posição.
 int[] getMarcacoes()
          Retorna array com as marcações dos lugares, após o disparo de uma transição
 boolean[] getTransicoesDisponiveis()
          Array boleano informando se a transição está ou não habilitada.
 boolean temTransicaoDisponivel()
          Verifica se existe alguma transição disponível para ser disparada.
 

Method Detail

getTransicoesDisponiveis

boolean[] getTransicoesDisponiveis()
Array boleano informando se a transição está ou não habilitada.

Returns:
Array Boleano informando se a transição especificada pela posição está ou não habilitada.

disparaTransicao

void disparaTransicao(int posicao)
Dispara transição indicada pela posição.

Parameters:
posicao - Posição da Transição.

getMarcacoes

int[] getMarcacoes()
Retorna array com as marcações dos lugares, após o disparo de uma transição

Returns:
Array com um inteiro indicando as marcações dos Lugares.

temTransicaoDisponivel

boolean temTransicaoDisponivel()
Verifica se existe alguma transição disponível para ser disparada.

Returns:
Retorna true caso tenha alguma transição habilitada para disparo, retorna false caso contrário.