@Override
public void actionPerformed(ActionEvent e) {
logger.info("Advanced counterexample generation");
getViewComponent().changeGUIState(Constants.ADVANCED_COUNTEREXAMPLE_GENERATION);
OWLClassDescriptionEditor descriptionEditor =
getViewComponent().getOWLWorkspace().getOWLComponentFactory().getOWLClassDescriptionEditor(null);
}