Class RegEdge


  • public class RegEdge
    extends java.lang.Object
    The class responsible for connecting two states in regular automaton of Regular constraint.
    Version:
    4.7
    • Field Summary

      Fields 
      Modifier and Type Field Description
      RegState dest
      The destination state.
      RegState org
      The origin state.
    • Constructor Summary

      Constructors 
      Constructor Description
      RegEdge​(RegState org, RegState dest)
      The constructor which creates an edge.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean check​(TimeStamp<java.lang.Integer>[] activeLevels)
      It checks if the edge is between active states.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • org

        public RegState org
        The origin state.
      • dest

        public RegState dest
        The destination state.
    • Constructor Detail

      • RegEdge

        public RegEdge​(RegState org,
                       RegState dest)
        The constructor which creates an edge.
        Parameters:
        org - the origin state.
        dest - the destination state.
    • Method Detail

      • check

        public boolean check​(TimeStamp<java.lang.Integer>[] activeLevels)
        It checks if the edge is between active states.
        Parameters:
        activeLevels - specifies last active states.
        Returns:
        true if both origin and destination state are active.