FDSState

java.lang.Object

org.svvrl.goal.core.tran.tester.FDSState

All Implemented Interfaces:: java.io.Serializable

public class FDSState
extends java.lang.Object
implements java.io.Serializable

State of Fair Discrete System.

Author:: Wen-Chin Chan
See Also:: Serialized Form

Constructor Summary

Constructors

Constructor Description

FDSState(int id, FDS fds)
Constructs this state with an ID and its owner FDS.

Method Summary

Modifier and Type	Method	Description
`FDS`	`getFDS()`	Returns the owner FDS of this state.
`int`	`getID()`	Returns the ID of this state.
`java.util.Set<LTL>`	`getLabel()`	Returns the label of this state.
`LTL[]`	`getLiterals()`	Returns literals used in the formula.
`void`	`setLabel(java.util.Set<LTL> label)`	Sets the label of this state.
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details
- FDSState
  
  public FDSState(int id, FDS fds)
  
  Constructs this state with an ID and its owner FDS.
  
  Parameters:
  
  id - an ID for this state
  
  fds - the owner FDS of this state
Method Details
- setLabel
  
  public void setLabel(java.util.Set<LTL> label)
  
  Sets the label of this state.
  
  Parameters:
  
  label - the label of this state
- getFDS
  
  public FDS getFDS()
  
  Returns the owner FDS of this state.
  
  Returns:
  
  the owner FDS of this state
- getID
  
  public int getID()
  
  Returns the ID of this state.
  
  Returns:
  
  the ID of this state
- getLabel
  
  public java.util.Set<LTL> getLabel()
  
  Returns the label of this state.
  
  Returns:
  
  the label of this state
- getLiterals
  
  public LTL[] getLiterals()
  
  Returns literals used in the formula.
  
  Returns:
  
  literals used in the formula
- toString
  
  public java.lang.String toString()
  
  Overrides:
  
  toString in class java.lang.Object