Package org.svvrl.goal.core.tran.tester

Class FDSTransition

java.lang.Object
org.svvrl.goal.core.tran.tester.FDSTransition
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable
public class FDSTransition
extends java.lang.Object
implements java.io.Serializable, java.lang.Cloneable
Transition of Fair Discrete System.
Author:
Wen-Chin Chan
See Also:
Serialized Form

  • Constructor Summary

    Constructors 
    Constructor Description
    FDSTransition​(FDSState from, FDSState to)
    Constructs this transition with a source state and a destination state.

  • Method Summary

    Modifier and Type Method Description
    boolean equals​(java.lang.Object object)  
    FDSState getFromState()
    Returns the source state of this transition
    FDSState getToState()
    Returns the destination state of this transition.
    java.lang.String toString()  

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • FDSTransition

      public FDSTransition​(FDSState from, FDSState to)
      Constructs this transition with a source state and a destination state.
      Parameters:
      from - the source state of this transition
      to - the destination state of this transition

  • Method Details

    • getFromState

      public FDSState getFromState()
      Returns the source state of this transition
      Returns:
      the source state of this transition

    • getToState

      public FDSState getToState()
      Returns the destination state of this transition.
      Returns:
      the destination state of this transition

    • toString

      public java.lang.String toString()
      Overrides:
      toString in class java.lang.Object

    • equals

      public boolean equals​(java.lang.Object object)
      Overrides:
      equals in class java.lang.Object