[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Research / RV / Ltl2ba4j / Docs / Api / Rwth / I2 / Ltl2ba4j / Model / Impl / State
Printer-friendly
State (LTL2BA4J)

rwth.i2.ltl2ba4j.model.impl
Class State

java.lang.Object
  extended by rwth.i2.ltl2ba4j.model.impl.State
All Implemented Interfaces:
IState

public class State
extends Object
implements IState

Author:
Eric Bodden State

Field Summary
protected  boolean isFinal
           
protected  boolean isInitial
           
protected  String label
           
 
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()
          
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

label

protected String label

isInitial

protected boolean isInitial

isFinal

protected boolean isFinal
Constructor Detail

State

public State(String label,
             boolean isInitial,
             boolean isFinal)
Parameters:
label -
isInitial -
isFinal -
Method Detail

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.
Valid HTML 4.01 Strict! Valid CSS!