public class DefaultAutomatonFactory extends java.lang.Object implements AutomatonFactory
Constructor and Description |
---|
DefaultAutomatonFactory() |
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 sourceState,
java.lang.Object tragetState,
TransitionLabel label) |
void |
addTransition(java.lang.Object source,
java.lang.Object target,
org.processmining.ltl2automaton.plugins.automaton.TransitionLabel label) |
void |
addTransition(Transition t) |
void |
addTransition(org.processmining.ltl2automaton.plugins.automaton.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) |
public void addAllTransition(java.lang.Object sourceState, java.lang.Object tragetState)
addAllTransition
in interface AutomatonFactory
public void addNegativePropositionsTransition(java.lang.Object sourceState, java.lang.Object tragetState, java.util.Collection<java.lang.String> propositions)
addNegativePropositionsTransition
in interface AutomatonFactory
public void addPropositionTransition(java.lang.Object sourceState, java.lang.Object tragetState, java.lang.String proposition)
addPropositionTransition
in interface AutomatonFactory
public void addState(java.lang.Object state)
addState
in interface AutomatonFactory
public void addTransition(java.lang.Object sourceState, java.lang.Object tragetState, TransitionLabel label)
addTransition
in interface AutomatonFactory
public void addTransition(Transition t)
addTransition
in interface AutomatonFactory
public java.lang.Object createState()
createState
in interface AutomatonFactory
public void finished()
finished
in interface AutomatonFactory
public Automaton getAutomaton()
getAutomaton
in interface AutomatonFactory
public int getStateId(java.lang.Object state)
getStateId
in interface AutomatonFactory
public void initialState(java.lang.Object state)
initialState
in interface AutomatonFactory
public void removeOutgoingTransitions(java.lang.Object s)
removeOutgoingTransitions
in interface AutomatonFactory
public void setExpandCount(int expand)
setExpandCount
in interface AutomatonFactory
public void updateState(java.lang.Object state, int id, boolean accepting)
updateState
in interface AutomatonFactory
public void addTransition(java.lang.Object source, java.lang.Object target, org.processmining.ltl2automaton.plugins.automaton.TransitionLabel label)
public void addTransition(org.processmining.ltl2automaton.plugins.automaton.Transition t)