public class State
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
boolean |
accepting |
int |
id |
java.util.Collection<Transition> |
output |
boolean |
satisfied |
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() |
public final java.util.Collection<Transition> output
public boolean accepting
public int id
public boolean satisfied
public int getId()
public java.lang.Iterable<Transition> getOutput()
public int getOutputSize()
public int hashCode()
hashCode
in class java.lang.Object
public boolean isAccepting()
public boolean isSatisfied()
public void removeAllTransitions()
public java.lang.String toString()
toString
in class java.lang.Object
public void addOutput(Transition e)
public void removeOutput(Transition e)
public void setAccepting(boolean acc)
public void setSatisfied(boolean sat)
public void setId(int id)