org.semanticweb.HermiT.debugger
Class Debugger.NodeCreationInfo

java.lang.Object
  extended by org.semanticweb.HermiT.debugger.Debugger.NodeCreationInfo
Enclosing class:
Debugger

public static class Debugger.NodeCreationInfo
extends java.lang.Object


Field Summary
 java.util.List<Node> m_children
           
 ExistentialConcept m_createdByExistential
           
 Node m_createdByNode
           
 Node m_node
           
 
Constructor Summary
Debugger.NodeCreationInfo(Node node, Node createdByNode, ExistentialConcept createdByExistential)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_node

public final Node m_node

m_createdByNode

public final Node m_createdByNode

m_createdByExistential

public final ExistentialConcept m_createdByExistential

m_children

public final java.util.List<Node> m_children
Constructor Detail

Debugger.NodeCreationInfo

public Debugger.NodeCreationInfo(Node node,
                                 Node createdByNode,
                                 ExistentialConcept createdByExistential)