Uses of Class
org.liveontologies.protege.explanation.justification.priority.PrioritizedJustification

Packages that use PrioritizedJustification

Package	Description
org.liveontologies.protege.explanation.justification
org.liveontologies.protege.explanation.justification.priority

Uses of PrioritizedJustification in org.liveontologies.protege.explanation.justification

Methods in org.liveontologies.protege.explanation.justification that return PrioritizedJustification

Modifier and Type	Method	Description
PrioritizedJustification	Explanation.getJustification(int index)
PrioritizedJustification	JustificationFrameSection.getJustification()
PrioritizedJustification	JustificationManager.pollJustification()

Methods in org.liveontologies.protege.explanation.justification with parameters of type PrioritizedJustification

Modifier and Type	Method	Description
int	Explanation.addJustification(PrioritizedJustification justification)
void	JustificationFrameList.addJustification(PrioritizedJustification justification, int justificationNo)
void	JustificationFormattingManager.clearFormatting(PrioritizedJustification justification)
void	JustificationFormattingManager.decreaseIndentation(org.semanticweb.owlapi.model.OWLAxiom entailment, PrioritizedJustification justification, org.semanticweb.owlapi.model.OWLAxiom axiom)
int	JustificationFormattingManager.getIndentation(org.semanticweb.owlapi.model.OWLAxiom entailment, PrioritizedJustification justification, org.semanticweb.owlapi.model.OWLAxiom axiom)
List<org.semanticweb.owlapi.model.OWLAxiom>	JustificationFormattingManager.getOrdering(org.semanticweb.owlapi.model.OWLAxiom entailment, PrioritizedJustification justification)
void	JustificationFormattingManager.increaseIndentation(org.semanticweb.owlapi.model.OWLAxiom entailment, PrioritizedJustification justification, org.semanticweb.owlapi.model.OWLAxiom axiom)
boolean	JustificationFormattingManager.moveAxiomDown(org.semanticweb.owlapi.model.OWLAxiom entailment, PrioritizedJustification justification, org.semanticweb.owlapi.model.OWLAxiom axiom)
boolean	JustificationFormattingManager.moveAxiomUp(org.semanticweb.owlapi.model.OWLAxiom entailment, PrioritizedJustification justification, org.semanticweb.owlapi.model.OWLAxiom axiom)
void	JustificationFormattingManager.setIndentation(org.semanticweb.owlapi.model.OWLAxiom entailment, PrioritizedJustification justification, org.semanticweb.owlapi.model.OWLAxiom axiom, int indentation)

Uses of PrioritizedJustification in org.liveontologies.protege.explanation.justification.priority

Methods in org.liveontologies.protege.explanation.justification.priority that return PrioritizedJustification

Modifier and Type	Method	Description
PrioritizedJustification	PrioritizedJustificationFactory.createJustification(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)

Methods in org.liveontologies.protege.explanation.justification.priority with parameters of type PrioritizedJustification

Modifier and Type	Method	Description
int	PrioritizedJustification.compareTo(PrioritizedJustification o)