com.raffaeleconforti.automaton

Class State

java.lang.Object

com.raffaeleconforti.automaton.State

public class State
extends java.lang.Object

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	State()
	State(int id, boolean isSource, boolean isFinal)
	State(int id, java.lang.String label, boolean isSource, boolean isFinal)

Method Summary

Modifier and Type	Method and Description
int	component()
boolean	equals(java.lang.Object obj)
int	hashCode()
int	id()
java.util.Set<Transition>	incomingTransitions()
boolean	isFinal()
boolean	isSource()
java.lang.String	label()
java.util.Set<Transition>	outgoingTransitions()
java.util.Map<java.lang.Integer,java.util.Set<com.google.common.collect.Multiset<java.lang.Integer>>>	possibleFutures()
java.util.Map<com.google.common.collect.Multiset<java.lang.Integer>,java.util.Map<java.util.ArrayList<java.lang.Integer>,java.util.ArrayList<java.lang.Integer>>>	potentialPathsAndTraceLabels()
void	setComponent(int component)

Methods inherited from class java.lang.Object

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

Constructor Detail

State

protected State()

State

public State(int id,
             boolean isSource,
             boolean isFinal)

State

public State(int id,
             java.lang.String label,
             boolean isSource,
             boolean isFinal)

Method Detail

id

public int id()

label

public java.lang.String label()

outgoingTransitions

public java.util.Set<Transition> outgoingTransitions()

incomingTransitions

public java.util.Set<Transition> incomingTransitions()

isSource

public boolean isSource()

isFinal

public boolean isFinal()

possibleFutures

public java.util.Map<java.lang.Integer,java.util.Set<com.google.common.collect.Multiset<java.lang.Integer>>> possibleFutures()

potentialPathsAndTraceLabels

public java.util.Map<com.google.common.collect.Multiset<java.lang.Integer>,java.util.Map<java.util.ArrayList<java.lang.Integer>,java.util.ArrayList<java.lang.Integer>>> potentialPathsAndTraceLabels()

setComponent

public void setComponent(int component)

component

public int component()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object