org.semanticweb.HermiT.debugger.commands
Class OriginStatsCommand.OriginInfo

java.lang.Object
  extended by org.semanticweb.HermiT.debugger.commands.OriginStatsCommand.OriginInfo
Enclosing class:
OriginStatsCommand

protected static class OriginStatsCommand.OriginInfo
extends java.lang.Object


Field Summary
 Concept m_concept
           
 java.util.List<Node> m_nodes
           
 int m_numberOfNonactiveOccurrences
           
 
Constructor Summary
OriginStatsCommand.OriginInfo(Concept concept)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_concept

public final Concept m_concept

m_nodes

public final java.util.List<Node> m_nodes

m_numberOfNonactiveOccurrences

public int m_numberOfNonactiveOccurrences
Constructor Detail

OriginStatsCommand.OriginInfo

public OriginStatsCommand.OriginInfo(Concept concept)