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

NodeCreationInfo.

Field Summary

Fields

Modifier and Type	Field and Description
List<Node>	m_children children
ExistentialConcept	m_createdByExistential created by existential
Node	m_createdByNode created by

Constructor Summary

Constructors

Constructor and Description
NodeCreationInfo(Node createdByNode, ExistentialConcept createdByExistential)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

m_createdByNode

public final Node m_createdByNode

created by

m_createdByExistential

public final ExistentialConcept m_createdByExistential

created by existential

m_children

public final List<Node> m_children

children

Constructor Detail

NodeCreationInfo

public NodeCreationInfo(Node createdByNode,
                        ExistentialConcept createdByExistential)

Parameters:

createdByNode - createdByNode

createdByExistential - createdByExistential