Class Transition


  • public class Transition
    extends 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 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.