/* @OPERATION void calculateArt(){ calculate(); } */ @OPERATION void clusterCClusterer(int a) { // logger.info("HHH clCCclusterer"); model.changeClusterer(a); }