public class State
extends java.lang.Object
| Modifier | Constructor and Description |
|---|---|
protected |
State() |
|
State(int id,
boolean isSource,
boolean isFinal) |
|
State(int id,
java.lang.String label,
boolean isSource,
boolean isFinal) |
| 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) |
protected State()
public State(int id,
boolean isSource,
boolean isFinal)
public State(int id,
java.lang.String label,
boolean isSource,
boolean isFinal)
public int id()
public java.lang.String label()
public java.util.Set<Transition> outgoingTransitions()
public java.util.Set<Transition> incomingTransitions()
public boolean isSource()
public boolean isFinal()
public java.util.Map<java.lang.Integer,java.util.Set<com.google.common.collect.Multiset<java.lang.Integer>>> possibleFutures()
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()
public void setComponent(int component)
public int component()
public int hashCode()
hashCode in class java.lang.Objectpublic boolean equals(java.lang.Object obj)
equals in class java.lang.Object