@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(); }
public TautologyContraintsCalculationsAction( GraphicalViewerImpl viewer, FeatureModel featureModel) { super(CALCULATE_TAUTOLOGY_CONSTRAINTS); this.featureModel = featureModel; setChecked(featureModel.getAnalyser().calculateTautologyConstraints); }