Java Automato.minimizar Beispiele

Beispiel #1

Datei: AutomatoGUI.java Projekt: RUB3XT0R/java_projects

 private void minimizarAutomato() {
   a.minimizar(); // minimiza
   // atualiza a tela
   atual = a.getInicial();
   refreshEstados();
   refresh();
   refreshTrans();
 }