@Override
public int getPropagationConditions(int vIdx) {
if (bothEnumerated) {
return EventType.INT_ALL_MASK();
} else {
return EventType.INSTANTIATE.mask + EventType.BOUND.mask;
}
}
@Override
public int getPropagationConditions(int vIdx) {
return EventType.REMOVEARC.mask + EventType.ENFORCEARC.mask + EventType.INT_ALL_MASK();
}
@Override
public int getPropagationConditions(int vIdx) {
return EventType.INT_ALL_MASK();
}
/**
* Awakening conditions (any variable domain modification)
*
* @param vIdx variable which has changed
* @return a mask of modifications (int_all_mask)
*/
protected int getPropagationConditions(int vIdx) {
return EventType.INT_ALL_MASK();
}
