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