Package org.jacop.constraints.regular
Class RegEdge
java.lang.Object
org.jacop.constraints.regular.RegEdge
The class responsible for connecting two states in regular automaton
of Regular constraint.
- Version:
- 4.10
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
org
The origin state. -
dest
The destination state.
-
-
Constructor Details
-
RegEdge
The constructor which creates an edge.- Parameters:
org
- the origin state.dest
- the destination state.
-
-
Method Details
-
check
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.
-