Package | Description |
---|---|
JaCoP.constraints.regular |
Modifier and Type | Method and Description |
---|---|
boolean |
RegStateInt.updateSupport(RegEdge edge,
int v) |
boolean |
RegStateDom.updateSupport(RegEdge edge,
int v) |
abstract boolean |
RegState.updateSupport(RegEdge edge,
int v)
It updates a support if given state supports given value.
|
Modifier and Type | Method and Description |
---|---|
void |
RegStateInt.setSupports(java.util.HashMap<java.lang.Integer,RegEdge> hashMap,
int i) |
void |
RegStateDom.setSupports(java.util.HashMap<java.lang.Integer,RegEdge> hashMap,
int i) |
abstract void |
RegState.setSupports(java.util.HashMap<java.lang.Integer,RegEdge> hashMap,
int successorNo) |