Serialized Form

Package org.liveontologies.protege.explanation.justification

Class org.liveontologies.protege.explanation.justification.ExplanationGeneratorProgressDialog

class ExplanationGeneratorProgressDialog extends JDialog implements Serializable

serialVersionUID:

2729423646823799401L

Serialized Fields

panel_

JustificationProgressPanel panel_

Class org.liveontologies.protege.explanation.justification.JustificationFrameList

class JustificationFrameList extends org.protege.editor.owl.ui.framelist.OWLFrameList<Explanation> implements Serializable

serialVersionUID:

-8844035741045455140L

Serialized Fields

axiomSelectionModel_

AxiomSelectionModel axiomSelectionModel_

explanation_

Explanation explanation_

frame_

JustificationFrame frame_

isTransmittingSelectionToModel_

boolean isTransmittingSelectionToModel_

justificationPanel_

PartialListVisualizer justificationPanel_

manager_

JustificationManager manager_

Class org.liveontologies.protege.explanation.justification.JustificationProgressPanel

class JustificationProgressPanel extends JPanel implements Serializable

serialVersionUID:

5548156306411811469L

Serialized Fields

cancelAction_

Action cancelAction_

isInterrupted_

boolean isInterrupted_

messageLabel_

JLabel messageLabel_

nFound_

int nFound_

timer_

Timer timer_

Class org.liveontologies.protege.explanation.justification.PresentationPanel

class PresentationPanel extends JPanel implements Serializable

serialVersionUID:

5025702425365703918L

Serialized Fields

displayedJustificationCount_

int displayedJustificationCount_

frameList_

JustificationFrameList frameList_

manager_

JustificationManager manager_

progressDialog_

ExplanationGeneratorProgressDialog progressDialog_

scrollPane_

JScrollPane scrollPane_

selectionModel_

AxiomSelectionModelImpl selectionModel_

serviceSettingsDisplayHolder_

JComponent serviceSettingsDisplayHolder_

Class org.liveontologies.protege.explanation.justification.PresentationPanelResult

class PresentationPanelResult extends org.protege.editor.owl.ui.explanation.ExplanationResult implements Serializable

serialVersionUID:

-92356477757932140L

Serialized Fields

panel_

PresentationPanel panel_

Package org.liveontologies.protege.explanation.justification.preferences

Class org.liveontologies.protege.explanation.justification.preferences.JustificationPreferencesGeneralPanel

class JustificationPreferencesGeneralPanel extends org.protege.editor.owl.ui.preferences.OWLPreferencesPanel implements Serializable

serialVersionUID:

2271633237554797195L

Serialized Fields

incrementM_

SpinnerNumberModel incrementM_

initialAmountM_

SpinnerNumberModel initialAmountM_

showPopularityChB_

JCheckBox showPopularityChB_

Class org.liveontologies.protege.explanation.justification.preferences.JustPrefPanel

class JustPrefPanel extends org.protege.editor.core.ui.preferences.PreferencesPanel implements Serializable

serialVersionUID:

-2626712731291697883L

Serialized Fields

logger_

org.slf4j.Logger logger_

panels_

Map<String,org.protege.editor.core.ui.preferences.PreferencesPanel> panels_

panes_

Map<String,JComponent> panes_

tabbedPane_

JTabbedPane tabbedPane_