Package it.univr.wordautomata.backend
package it.univr.wordautomata.backend
-
ClassesClassDescriptionThe AutomataSaver class provides methods for saving and reading automata objects to/from files, as well as managing recent files and file dialogs.The GraphStatistics class represents the statistics of a graph in a word automaton.The PathFinder class is responsible for finding a path in a graph based on a given word.