Implement equals() in Transition to ignore duplicates
Created by: grallm
Because we don't want duplicated transitions (same Origin, Symbol and Target) we can add an equals() method to use the power of Java's Set
Nantes Université
Created by: grallm
Because we don't want duplicated transitions (same Origin, Symbol and Target) we can add an equals() method to use the power of Java's Set