Package adalid.core

Class Transition

    • Constructor Detail

      • Transition

        public Transition()
      • Transition

        public Transition​(State x,
                          State y)
    • Method Detail

      • getX

        public State getX()
        Returns:
        the x
      • getY

        public State getY()
        Returns:
        the y
      • settle

        public void settle​(State x,
                           State y)
        El método settle se utiliza para especificar el estado inicial y el estado final de la transición.
        Parameters:
        x - estado inicial
        y - estado final
      • fieldsToString

        protected java.lang.String fieldsToString​(int n,
                                                  java.lang.String key,
                                                  boolean verbose,
                                                  boolean fields,
                                                  boolean maps)
        Overrides:
        fieldsToString in class AbstractArtifact