nl.uu.cs.ape.sat.automaton.Automaton Maven / Gradle / Ivy
package nl.uu.cs.ape.sat.automaton;
import java.util.List;
/**
* The {@code Automaton} interface is used to represent general interface that should be implemented by any interface.
*
* @author Vedran Kasalica
*/
public interface Automaton {
/**
* Gets all states as a List.
*
* @return All the States.
*/
List getAllStates();
}