Package org.liveontologies.protege.explanation.justification

Class JustificationFormattingManager

java.lang.Object

org.liveontologies.protege.explanation.justification.JustificationFormattingManager

public class JustificationFormattingManager
extends Object

Author: Matthew Horridge The University Of Manchester Information Management Group Date: 23-Oct-2008

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

getInstance

public static JustificationFormattingManager getInstance()

getIndentation

public int getIndentation(org.semanticweb.owlapi.model.OWLAxiom entailment,
 PrioritizedJustification justification,
 org.semanticweb.owlapi.model.OWLAxiom axiom)

setIndentation

public void setIndentation(org.semanticweb.owlapi.model.OWLAxiom entailment,
 PrioritizedJustification justification,
 org.semanticweb.owlapi.model.OWLAxiom axiom,
 int indentation)

increaseIndentation

public void increaseIndentation(org.semanticweb.owlapi.model.OWLAxiom entailment,
 PrioritizedJustification justification,
 org.semanticweb.owlapi.model.OWLAxiom axiom)

decreaseIndentation

public void decreaseIndentation(org.semanticweb.owlapi.model.OWLAxiom entailment,
 PrioritizedJustification justification,
 org.semanticweb.owlapi.model.OWLAxiom axiom)

moveAxiomUp

public boolean moveAxiomUp(org.semanticweb.owlapi.model.OWLAxiom entailment,
 PrioritizedJustification justification,
 org.semanticweb.owlapi.model.OWLAxiom axiom)

moveAxiomDown

public boolean moveAxiomDown(org.semanticweb.owlapi.model.OWLAxiom entailment,
 PrioritizedJustification justification,
 org.semanticweb.owlapi.model.OWLAxiom axiom)

getOrdering

public List<org.semanticweb.owlapi.model.OWLAxiom> getOrdering(org.semanticweb.owlapi.model.OWLAxiom entailment,
 PrioritizedJustification justification)

clearFormatting

public void clearFormatting(PrioritizedJustification justification)