Class Transition


  • public class Transition
    extends java.lang.Object
    Represents a transition in an action transition system, which is a representation of the execution of an action which causes a state change from a source state to a target state.
    Author:
    Sebastian Homann
    • Constructor Summary

      Constructors 
      Constructor Description
      Transition​(State from, FolAction action, State to)
      Creates a new transition with the given parameters.
    • Method Summary

      Modifier and Type Method Description
      FolAction getAction()
      Returns the action that causes this transition.
      State getFrom()
      Returns the source state of this transition.
      State getTo()
      Returns the target state of this transition.
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • Transition

        public Transition​(State from,
                          FolAction action,
                          State to)
        Creates a new transition with the given parameters.
        Parameters:
        from - the state from which this transition origins.
        action - the action that causes this transition.
        to - the state representing the consequence of the execution of action.
    • Method Detail

      • getFrom

        public State getFrom()
        Returns the source state of this transition.
        Returns:
        the source state of this transition.
      • getTo

        public State getTo()
        Returns the target state of this transition.
        Returns:
        the target state of this transition.
      • getAction

        public FolAction getAction()
        Returns the action that causes this transition.
        Returns:
        the action that causes this transition.
      • toString

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