@Override public void run() { if (featureModel.getAnalyser().calculateTautologyConstraints) { featureModel.getAnalyser().calculateTautologyConstraints = false; } else { featureModel.getAnalyser().calculateTautologyConstraints = true; // featureModel.getAnalyser().calculateRedundantConstraints = true; featureModel.getAnalyser().calculateFeatures = true; featureModel.getAnalyser().calculateConstraints = true; } featureModel.handleModelDataChanged(); }