rwth.i2.ltl2ba4j.model.impl
Class State
java.lang.Object
rwth.i2.ltl2ba4j.model.impl.State
- All Implemented Interfaces:
- IState
public class State
- extends Object
- implements IState
- Author:
- Eric Bodden
State
Constructor Summary |
State(String label,
boolean isInitial,
boolean isFinal)
|
Method Summary |
boolean |
equals(Object oth)
Clients should implement this method, since the
implementation uses HashSets, which require a proper
notion of equality. |
String |
getLabel()
|
int |
hashCode()
Clients should implement this method, since the
implementation uses HashSets, which require a proper
hash code. |
boolean |
isFinal()
|
boolean |
isInitial()
|
String |
toString()
|
label
protected String label
isInitial
protected boolean isInitial
isFinal
protected boolean isFinal
State
public State(String label,
boolean isInitial,
boolean isFinal)
- Parameters:
label
- isInitial
- isFinal
-
getLabel
public String getLabel()
-
- Specified by:
getLabel
in interface IState
- Returns:
- Label of this state.
isFinal
public boolean isFinal()
- Specified by:
isFinal
in interface IState
- Returns:
true
iff this state is final
isInitial
public boolean isInitial()
- Specified by:
isInitial
in interface IState
- Returns:
true
iff this state is the initial state
toString
public String toString()
-
- Overrides:
toString
in class Object
hashCode
public int hashCode()
- Clients should implement this method, since the
implementation uses HashSets, which require a proper
hash code.
- Specified by:
hashCode
in interface IState
- Overrides:
hashCode
in class Object
- See Also:
Object.hashCode()
equals
public boolean equals(Object oth)
- Clients should implement this method, since the
implementation uses HashSets, which require a proper
notion of equality.
- Specified by:
equals
in interface IState
- Overrides:
equals
in class Object
- See Also:
Object.equals(java.lang.Object)
Eric Bodden, RWTH Aachen University, 2005.