JaCoP.constraints.regular
Class RegEdge

java.lang.Object
  JaCoP.constraints.regular.RegEdge

public class RegEdge
extends java.lang.Object

The class responsible for connecting two states in regular automaton of Regular constraint.

Version:

3.1

Author:

Polina Makeeva and Radoslaw Szymanek

Field Summary

RegState	dest The destination state.
RegState	org The origin state.

Constructor Summary

RegEdge(RegState org, RegState dest)
The constructor which creates an edge.

Method Summary

boolean

check(TimeStamp<java.lang.Integer>[] activeLevels) It checks if the edge is between active states.

Methods inherited from class java.lang.Object

equals, 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.