Example #1
0
 /**
  * Verifica si el aumata ya posee un estado de error y si no lo tiene crea un estado de error y lo
  * retorna.
  *
  * @return
  */
 private Estado getStateError() {
   Estado state = null;
   if (!automata.containState(cerraduras.size())) {
     state = new Estado(cerraduras.size());
     state.setError(true);
     automata.addEstado(state);
   } else {
     state = automata.getState(cerraduras.size());
   }
   return state;
 }
Example #2
0
 /**
  * Obtiene el estado relacionado a la cerradura, esto es, si el estado ya se encuentra en el
  * automata retorna dicho estado, caso contrario crea un nuevo estado.
  *
  * @param cerradura Cerradura de la cual se desea obtener el estado asociado.
  * @return Estado asociado a la cerradura
  */
 private Estado getState(Cerradura cerradura) {
   Estado state = null;
   // Si el estado aun no esta en el automata
   if (!automata.containState(cerradura.getValue())) {
     state = new Estado(cerradura.getValue());
     state.setAcceptation(cerradura.isAcceptation());
     state.setInit(cerradura.isInit());
   } else {
     // Si el estado ya esta en el automata
     state = automata.getState(cerradura.getValue());
   }
   return state;
 }