org.processmining.plugins.DeclareDataAwareComplianceChecker.automata

Class State

java.lang.Object

org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.State

public class State
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
boolean	accepting
int	id
java.util.Collection<Transition>	output
boolean	satisfied

Constructor Summary

Constructors

Constructor and Description
State()
State(int id)

Method Summary

Modifier and Type	Method and Description
void	addOutput(Transition e)
int	getId()
java.lang.Iterable<Transition>	getOutput()
int	getOutputSize()
int	hashCode()
boolean	isAccepting()
boolean	isSatisfied()
void	removeAllTransitions()
void	removeOutput(Transition e)
void	setAccepting(boolean acc)
void	setId(int id)
void	setSatisfied(boolean sat)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

output

public final java.util.Collection<Transition> output

accepting

public boolean accepting

id

public int id

satisfied

public boolean satisfied

Constructor Detail

State

public State()

State

public State(int id)

Method Detail

getId

public int getId()

getOutput

public java.lang.Iterable<Transition> getOutput()

getOutputSize

public int getOutputSize()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

isAccepting

public boolean isAccepting()

isSatisfied

public boolean isSatisfied()

removeAllTransitions

public void removeAllTransitions()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

addOutput

public void addOutput(Transition e)

removeOutput

public void removeOutput(Transition e)

setAccepting

public void setAccepting(boolean acc)

setSatisfied

public void setSatisfied(boolean sat)

setId

public void setId(int id)