code: @Override
  	public int getPropagationConditions(int vIdx) {
  		return GraphEventType.REMOVE_NODE.getMask() + GraphEventType.REMOVE_ARC.getMask() + GraphEventType.ADD_NODE.getMask();
  	}
docs: ***********************************************************************************