warning removed from the predicates, Javadoc of the controller updated
ActionManagement updated
ActionManagement updated
View, initial change to use the factory pattern
Graphical interface updated with factories
Transition renamed into LabelledTransition
Transition (unlabelled) added to the model
State moved into the graph package
Graph Class added to the model
BuchiAutomaton, IncompleteBuchiAutomaton and Intersection Automaton
Moved to different packages
Buchi Automata, Incomplete BA and Intersection moved into a different
package
AutomatonBuilder updated
Package io removed
Predicates renamed into propositions
AndProposition, AtomicProposition and OrProposition moved to the state
propositions
Rollback performed
Regex proposition created, states proposition moved
AbstractRegexProposition added: the description of the abstract behavior
of a RegexProposition is added
Commit Before refactoring the graph.
BA, IBA, updated by directly extended the jung graph class