Implementazione visuale dell'algoritmo di Dijkstra.
- Trello (gestione attività): https://trello.com/b/xdQK3W6z
- GitHub: https://github.com/Zimm1/ALGRAPH
- JavaDoc: https://zimm1.github.io/ALGRAPH
- Ultima versione & JAR: https://github.com/Zimm1/ALGRAPH/releases/latest
- Esecuzione passo - passo
- Esecuzione automatica
- Visualizzazione della coda di priorità
- Indicatore della linea di pseudo-codice eseguita
- Generazione casuale di un grafo (orientato o non orientato)
- Salvataggio di un grafo (orientato o non orientato) su file
- Apertura di un grafo (orientato o non orientato) da file
- Modifica di un grafo:
- Aggiunta e rimozione di un nodo
- Aggiunta e rimozione di un arco (orientato o non orientato)
- Modifica del peso di un arco
- Invertimento della direzione di un arco (se orientato)
- Barra dei menù
- Grafo
- Genera
- Genera un grafo (orientato o non orientato) casualmente con i parametri inseriti da utente (massimo/minimo peso degli archi, massimo numero di nodi)
- Salva
- Salva il grafo attuale su file
- Apri
- Apre un grafo precedentemente salvato su file
- Genera
- Esecuzione
- Passo
- Esegue la linea successiva dell'algoritmo di Dijkstra, al primo passo richiede il nodo di partenza
- Esegui
- Esegue automaticamente gli steps dell'algoritmo di Dijkstra alla velocità scelta da utente
- Pausa
- Sospende l'esecuzione automatica dell'algoritmo
- Slider
- Seleziona la velocità di esecuzione automatica (massimo = istantanea)
- Passo
- Aiuto
- Info
- Apre una finestra di informazioni sul funzionamento dell'algoritmo di Dijkstra
- Info
- Grafo
- Click destro sopra un nodo
- Crea arco da qui
- Crea un arco che ha come origine il nodo selezionato
- Rimuovi nodo
- Elimina il nodo selezionato e gli archi uscenti/entranti
- Crea arco da qui
- Click destro del mouse sopra un arco
- Modifica peso arco
- Aggiorna il peso dell'arco selezionato con il peso inserito da utente
- Inverti arco
- Se il grafo è orientato inverte il nodo di origine con quello di destinazione
- Elimina arco
- Rimuove l'arco selezionato
- Modifica peso arco
- Click destro del mouse nella finestra centrale
- Crea nodo
- Crea un nuovo nodo
- Crea nodo
- Click sinistro del mouse sopra un nodo
- Sposta il nodo selezionato tramite trascinamento
- JavaFX incluso nella versione standard di Java
- JAVA 8.0 o versioni successive
- Simone Cavazzoni - Website
- Stefano Notari
- Alessandro Tedeschi