Class Transition

java.lang.Object
org.tweetyproject.action.transitionsystem.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 Details

    • 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 Details

    • 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 String toString()
      Overrides:
      toString in class Object