org.processmining.ltl2automaton.plugins

Interface AutomatonFactory

All Known Implementing Classes:

DefaultAutomatonFactory

public interface AutomatonFactory

Method Summary

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)

Method Detail

addTransition

void addTransition(java.lang.Object source,
                   java.lang.Object target,
                   TransitionLabel label)

addTransition

void addTransition(Transition t)

getAutomaton

Automaton getAutomaton()

addAllTransition

void addAllTransition(java.lang.Object sourceState,
                      java.lang.Object tragetState)

addNegativePropositionsTransition

void addNegativePropositionsTransition(java.lang.Object sourceState,
                                       java.lang.Object tragetState,
                                       java.util.Collection<java.lang.String> propositions)

addPropositionTransition

void addPropositionTransition(java.lang.Object sourceState,
                              java.lang.Object tragetState,
                              java.lang.String proposition)

addState

void addState(java.lang.Object state)

createState

java.lang.Object createState()

finished

void finished()

getStateId

int getStateId(java.lang.Object state)

initialState

void initialState(java.lang.Object state)

removeOutgoingTransitions

void removeOutgoingTransitions(java.lang.Object s)

setExpandCount

void setExpandCount(int expand)

updateState

void updateState(java.lang.Object state,
                 int id,
                 boolean accepting)