public interface AutomatonFactory
Modifier and Type | Method and Description |
---|---|
void |
addAllTransition(java.lang.Object sourceState,
java.lang.Object tragetState) |
void |
addNegativePropositionsTransition(java.lang.Object sourceState,
java.lang.Object tragetState,
java.util.Collection<java.lang.String> propositions) |
void |
addPropositionTransition(java.lang.Object sourceState,
java.lang.Object tragetState,
java.lang.String proposition) |
void |
addState(java.lang.Object state) |
void |
addTransition(java.lang.Object source,
java.lang.Object target,
TransitionLabel label) |
void |
addTransition(Transition t) |
java.lang.Object |
createState() |
void |
finished() |
Automaton |
getAutomaton() |
int |
getStateId(java.lang.Object state) |
void |
initialState(java.lang.Object state) |
void |
removeOutgoingTransitions(java.lang.Object s) |
void |
setExpandCount(int expand) |
void |
updateState(java.lang.Object state,
int id,
boolean accepting) |
void addTransition(java.lang.Object source, java.lang.Object target, TransitionLabel label)
void addTransition(Transition t)
Automaton getAutomaton()
void addAllTransition(java.lang.Object sourceState, java.lang.Object tragetState)
void addNegativePropositionsTransition(java.lang.Object sourceState, java.lang.Object tragetState, java.util.Collection<java.lang.String> propositions)
void addPropositionTransition(java.lang.Object sourceState, java.lang.Object tragetState, java.lang.String proposition)
void addState(java.lang.Object state)
java.lang.Object createState()
void finished()
int getStateId(java.lang.Object state)
void initialState(java.lang.Object state)
void removeOutgoingTransitions(java.lang.Object s)
void setExpandCount(int expand)
void updateState(java.lang.Object state, int id, boolean accepting)