Class RegEdge

java.lang.Object
org.jacop.constraints.regular.RegEdge

public class RegEdge extends Object
The class responsible for connecting two states in regular automaton of Regular constraint.
Version:
4.9
  • Field Details

    • org

      public RegState org
      The origin state.
    • dest

      public RegState dest
      The destination state.
  • Constructor Details

    • RegEdge

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

    • check

      public boolean check(TimeStamp<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.