org.processmining.ltl2automaton.plugins.automaton

Class State

java.lang.Object

org.processmining.ltl2automaton.plugins.automaton.State

public class State
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
State()
State(int id)

Method Summary

Modifier and Type	Method and Description
int	getId()
java.lang.Iterable<Transition>	getOutput()
int	getOutputSize()
int	hashCode()
boolean	isAccepting()
void	removeAllTransitions()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

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

removeAllTransitions

public void removeAllTransitions()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object