org.semanticweb.HermiT.debugger
Class Debugger.NodeCreationInfo
java.lang.Object
org.semanticweb.HermiT.debugger.Debugger.NodeCreationInfo
- Enclosing class:
- Debugger
public static class Debugger.NodeCreationInfo
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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 List<Node> m_children
Debugger.NodeCreationInfo
public Debugger.NodeCreationInfo(Node node,
Node createdByNode,
ExistentialConcept createdByExistential)
Copyright © 2012. All Rights Reserved.