@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(); }