| Methods in org.semanticweb.HermiT.debugger with parameters of type Debugger |
protected static void |
Printing.printConceptLabel(Debugger debugger,
Node node,
java.io.PrintWriter writer)
|
protected static void |
Printing.printConcepts(Debugger debugger,
java.util.Set<? extends Concept> set,
java.util.Collection<? extends Concept> markedElements,
java.io.PrintWriter writer,
int numberInRow)
|
protected static void |
Printing.printDataRanges(Debugger debugger,
java.util.Set<? extends DataRange> set,
java.io.PrintWriter writer,
int numberInRow)
|
protected static void |
Printing.printEdgeMap(Debugger debugger,
java.util.Map<Node,java.util.Set<AtomicRole>> map,
java.io.PrintWriter writer)
|
protected static void |
Printing.printEdges(Debugger debugger,
Node node,
java.io.PrintWriter writer)
|
static void |
Printing.printNodeData(Debugger debugger,
Node node,
java.io.PrintWriter writer)
|