Package org.jacop.constraints.regular
Class 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.7
-
-
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.
-
-
-
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.
-
-