org.processmining.plugins.DeclareDataAwareComplianceChecker.automata

Class DefaultAutomatonFactory

java.lang.Object

org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.DefaultAutomatonFactory

All Implemented Interfaces:

AutomatonFactory

public class DefaultAutomatonFactory
extends java.lang.Object
implements AutomatonFactory

Constructor Summary

Constructors

Constructor and Description
DefaultAutomatonFactory()

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 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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultAutomatonFactory

public DefaultAutomatonFactory()

Method Detail

addAllTransition

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

Specified by:

addAllTransition in interface AutomatonFactory

addNegativePropositionsTransition

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

Specified by:

addNegativePropositionsTransition in interface AutomatonFactory

addPropositionTransition

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

Specified by:

addPropositionTransition in interface AutomatonFactory

addState

public void addState(java.lang.Object state)

Specified by:

addState in interface AutomatonFactory

addTransition

public void addTransition(java.lang.Object sourceState,
                          java.lang.Object tragetState,
                          TransitionLabel label)

Specified by:

addTransition in interface AutomatonFactory

addTransition

public void addTransition(Transition t)

Specified by:

addTransition in interface AutomatonFactory

createState

public java.lang.Object createState()

Specified by:

createState in interface AutomatonFactory

finished

public void finished()

Specified by:

finished in interface AutomatonFactory

getAutomaton

public Automaton getAutomaton()

Specified by:

getAutomaton in interface AutomatonFactory

getStateId

public int getStateId(java.lang.Object state)

Specified by:

getStateId in interface AutomatonFactory

initialState

public void initialState(java.lang.Object state)

Specified by:

initialState in interface AutomatonFactory

removeOutgoingTransitions

public void removeOutgoingTransitions(java.lang.Object s)

Specified by:

removeOutgoingTransitions in interface AutomatonFactory

setExpandCount

public void setExpandCount(int expand)

Specified by:

setExpandCount in interface AutomatonFactory

updateState

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

Specified by:

updateState in interface AutomatonFactory

addTransition

public void addTransition(java.lang.Object source,
                          java.lang.Object target,
                          org.processmining.ltl2automaton.plugins.automaton.TransitionLabel label)

addTransition

public void addTransition(org.processmining.ltl2automaton.plugins.automaton.Transition t)