public class MinimumEdgeAutomaton extends Automaton
Automaton.Type
AUTOMATON_MAIN_FILE, FINAL_STATES_FILE, INITIAL_STATES_FILE, NON_FINAL_STATES_FILE, STATES_FILE
Modifier and Type | Method and Description |
---|---|
Automaton |
clone() |
int |
getMinimum()
Returns the minimum number of edges.
|
void |
initializeEncoding() |
addComputationListener, containsInitialState, getAlphabet, getCurrentInterfaceSize, getEncoding, getFinalStates, getInitialStates, getInnerInterface, getInterfacePairing, getListener, getLogger, getMaximumInterface, getNonFinalStates, getNonFinalStates, getNumberOfFinalStates, getNumberOfInitialStates, getNumberOfNonFinalStates, getNumberOfNonFinalStates, getNumberOfStates, getNumberOfStates, getOuterInterface, getPredecessorStates, getReachableStates, getSize, getStateName, getStates, getStates, getStatesWithoutSuccessorFor, getStateTransBDDs, getSuccessorStates, getTransitionRelation, getType, isAcceptingStateSet, isApplicable, isInitialStateSet, printStates, readAutomatonFromZip, removeComputationListener, toString, writeAutomatonToZip
public Automaton clone() throws CloneNotSupportedException
clone
in class Automaton
CloneNotSupportedException
public int getMinimum()
public void initializeEncoding()
initializeEncoding
in class Automaton