RegEdge

java.lang.Object
- org.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:

4.8

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.