Serialized Form (HermiT 1.4.4.456 API)

Package org.semanticweb.HermiT
- Class org.semanticweb.HermiT.Configuration extends Object implements Serializable
  
  serialVersionUID:
  
  7741510316249774519L
  - Serialized Fields
    - warningMonitor
```
Configuration.WarningMonitor warningMonitor
```
      One can implement an instance of this class and pass it to HermiT. HermiT will then print warning with the warning() method of the interface, e.g., if it ignores an unsupported datatype. HermiT does not provide an implementation for the interface itself though.
    - reasonerProgressMonitor
```
org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor reasonerProgressMonitor
```
      If a progress monitor is set, HermiT will report the progress of a classification task. This is used for example by Protege.
    - tableauMonitorType
```
Configuration.TableauMonitorType tableauMonitorType
```
      tableau monitor type
    - directBlockingType
```
Configuration.DirectBlockingType directBlockingType
```
      direct blocking type
    - blockingStrategyType
```
Configuration.BlockingStrategyType blockingStrategyType
```
      blocking strategy type
    - blockingSignatureCacheType
```
Configuration.BlockingSignatureCacheType blockingSignatureCacheType
```
      blocking signature cache type
    - existentialStrategyType
```
Configuration.ExistentialStrategyType existentialStrategyType
```
      existential strategy type
    - ignoreUnsupportedDatatypes
```
boolean ignoreUnsupportedDatatypes
```
      If HermiT encounters a non-OWL2 datatype, it normally throws an error. If set to true, axioms containing unsupported datatypes will be ignored.
    - monitor
```
TableauMonitor monitor
```
      Can be used to set a custom Tableau monitor.
    - parameters
```
Map<K,V> parameters
```
      The parameters are passed to the Tableau class instance, but currently no parameters are used.
    - individualTaskTimeout
```
long individualTaskTimeout
```
      If set to some value, reasoning in HermiT is interrupted as soon as any individual reasoning task takes any longer than individualTaskTimeout ms.
    - individualNodeSetPolicy
```
org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy individualNodeSetPolicy
```
      individual node set policy
    - freshEntityPolicy
```
org.semanticweb.owlapi.reasoner.FreshEntityPolicy freshEntityPolicy
```
      fresh entity policy
    - useDisjunctionLearning
```
boolean useDisjunctionLearning
```
      If set to true, then each disjunct of a disjunction is associated with a punish factor and whenever a disjunct causes a clash, the punish factor is increased. Whenever HermiT has to pick a disjunction, it picks the disjunction with the least punish factor that has not yet been tried for that node and disjunction.
    - bufferChanges
```
boolean bufferChanges
```
      If set to true, then axioms that are to be added or removed are buffered and the addition and removal is only performed when the flush() method of the reasoner is called.
    - throwInconsistentOntologyException
```
boolean throwInconsistentOntologyException
```
      The default value is true and HermiT will throw an exception if it finds the ontology to be inconsistent. If set to false, HermiT will not throw an exception for inconsistent ontologies. The only exception is when asked for data property values for an individual and a data property because any of the infinitely many data values would be an answer. Restricting answers to just the data values in the signature does not make much sense. If the parameter is set to false and the ontology is inconsistent, all classes occurring in the ontology are, for example, returned as subclasses of owl:nothing. Some answers might be unexpected or unintuitive, e.g., a property will be both reflexive and irreflexive etc. Use with care, e.g., only when trying to get explanations of inconsistencies, where throwing an error might not be helpful.
    - prepareReasonerInferences
```
Configuration.PrepareReasonerInferences prepareReasonerInferences
```
      prepare reasoner inferences
    - forceQuasiOrderClassification
```
boolean forceQuasiOrderClassification
```
      The default value is false and HermiT will use a specialiased classification strategy for deterministic ontologies, which often is faster, but not always. If the value is set to true, then HermiT will use the Quasi Ordering Classification method even for deterministic ontologies.
- Class org.semanticweb.HermiT.Prefixes extends Object implements Serializable
  
  serialVersionUID:
  
  -158185482289831766L
  - Serialized Fields
    - m_prefixIRIsByPrefixName
```
Map<K,V> m_prefixIRIsByPrefixName
```
    - m_prefixNamesByPrefixIRI
```
Map<K,V> m_prefixNamesByPrefixIRI
```
    - m_prefixIRIMatchingPattern
```
Pattern m_prefixIRIMatchingPattern
```
- Class org.semanticweb.HermiT.Prefixes.ImmutablePrefixes extends Prefixes implements Serializable
  
  serialVersionUID:
  
  8517988865445255837L
Package org.semanticweb.HermiT.blocking
- Class org.semanticweb.HermiT.blocking.AncestorBlocking extends Object implements Serializable
  
  serialVersionUID:
  
  1075850000309773283L
  - Serialized Fields
    - m_directBlockingChecker
```
DirectBlockingChecker m_directBlockingChecker
```
    - m_blockingSignatureCache
```
BlockingSignatureCache m_blockingSignatureCache
```
    - m_tableau
```
Tableau m_tableau
```
    - m_useBlockingSignatureCache
```
boolean m_useBlockingSignatureCache
```
- Class org.semanticweb.HermiT.blocking.AnywhereBlocking extends Object implements Serializable
  
  serialVersionUID:
  
  -2959900333817197464L
  - Serialized Fields
    - m_directBlockingChecker
```
DirectBlockingChecker m_directBlockingChecker
```
    - m_currentBlockersCache
```
org.semanticweb.HermiT.blocking.BlockersCache m_currentBlockersCache
```
    - m_blockingSignatureCache
```
BlockingSignatureCache m_blockingSignatureCache
```
    - m_tableau
```
Tableau m_tableau
```
    - m_useBlockingSignatureCache
```
boolean m_useBlockingSignatureCache
```
    - m_firstChangedNode
```
Node m_firstChangedNode
```
- Class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking.ComputeCoreVariables extends Object implements Serializable
  
  serialVersionUID:
  
  899293772370136783L
  - Serialized Fields
    - m_valuesBuffer
```
Object[] m_valuesBuffer
```
    - m_coreVariables
```
boolean[] m_coreVariables
```
- Class org.semanticweb.HermiT.blocking.BlockersCache.CacheEntry extends Object implements Serializable
  
  serialVersionUID:
  
  -7047487963170250200L
  - Serialized Fields
    - m_node
```
Node m_node
```
    - m_hashCode
```
int m_hashCode
```
    - m_nextEntry
```
BlockersCache.CacheEntry m_nextEntry
```
- Class org.semanticweb.HermiT.blocking.BlockingSignatureCache extends Object implements Serializable
  
  serialVersionUID:
  
  -7692825443489644667L
  - Serialized Fields
    - m_directBlockingChecker
```
DirectBlockingChecker m_directBlockingChecker
```
    - m_buckets
```
BlockingSignature[] m_buckets
```
    - m_numberOfElements
```
int m_numberOfElements
```
    - m_threshold
```
int m_threshold
```
- Class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker extends Object implements Serializable
  
  serialVersionUID:
  
  -8296420442452625109L
  - Serialized Fields
    - m_atomicConceptsSetFactory
```
SetFactory<E> m_atomicConceptsSetFactory
```
    - m_atomicRolesSetFactory
```
SetFactory<E> m_atomicRolesSetFactory
```
    - m_atomicConceptsBuffer
```
Set<E> m_atomicConceptsBuffer
```
    - m_atomicRolesBuffer
```
Set<E> m_atomicRolesBuffer
```
    - m_binaryTableSearch1Bound
```
ExtensionTable.Retrieval m_binaryTableSearch1Bound
```
    - m_ternaryTableSearch12Bound
```
ExtensionTable.Retrieval m_ternaryTableSearch12Bound
```
- Class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker.PairWiseBlockingObject extends Object implements Serializable
  
  serialVersionUID:
  
  -5439737072100509531L
  - Serialized Fields
    - m_node
```
Node m_node
```
    - m_hasChanged
```
boolean m_hasChanged
```
    - m_atomicConceptsLabel
```
Set<E> m_atomicConceptsLabel
```
    - m_atomicConceptsLabelHashCode
```
int m_atomicConceptsLabelHashCode
```
    - m_fromParentLabel
```
Set<E> m_fromParentLabel
```
    - m_fromParentLabelHashCode
```
int m_fromParentLabelHashCode
```
    - m_toParentLabel
```
Set<E> m_toParentLabel
```
    - m_toParentLabelHashCode
```
int m_toParentLabelHashCode
```
- Class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker.PairWiseBlockingSignature extends BlockingSignature implements Serializable
  
  serialVersionUID:
  
  4697990424058632618L
  - Serialized Fields
    - m_atomicConceptLabel
```
Set<E> m_atomicConceptLabel
```
    - m_parentAtomicConceptLabel
```
Set<E> m_parentAtomicConceptLabel
```
    - m_fromParentLabel
```
Set<E> m_fromParentLabel
```
    - m_toParentLabel
```
Set<E> m_toParentLabel
```
    - m_hashCode
```
int m_hashCode
```
- Class org.semanticweb.HermiT.blocking.SetFactory extends Object implements Serializable
  
  serialVersionUID:
  
  7071071962187693657L
  - Serialized Fields
    - m_unusedEntries
```
org.semanticweb.HermiT.blocking.SetFactory.Entry<T>[] m_unusedEntries
```
    - m_entries
```
org.semanticweb.HermiT.blocking.SetFactory.Entry<T>[] m_entries
```
    - m_size
```
int m_size
```
    - m_resizeThreshold
```
int m_resizeThreshold
```
- Class org.semanticweb.HermiT.blocking.SetFactory.Entry extends Object implements Serializable
  
  serialVersionUID:
  
  -3850593656120645350L
  - Serialized Fields
    - m_table
```
Object[] m_table
```
    - m_hashCode
```
int m_hashCode
```
    - m_previousEntry
```
org.semanticweb.HermiT.blocking.SetFactory.Entry<T> m_previousEntry
```
    - m_nextEntry
```
org.semanticweb.HermiT.blocking.SetFactory.Entry<T> m_nextEntry
```
    - m_referenceCount
```
int m_referenceCount
```
    - m_permanent
```
boolean m_permanent
```
- Class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker extends Object implements Serializable
  
  serialVersionUID:
  
  9093753046859877016L
  - Serialized Fields
    - m_atomicConceptsSetFactory
```
SetFactory<E> m_atomicConceptsSetFactory
```
    - m_atomicConceptsBuffer
```
Set<E> m_atomicConceptsBuffer
```
    - m_binaryTableSearch1Bound
```
ExtensionTable.Retrieval m_binaryTableSearch1Bound
```
- Class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker.SingleBlockingObject extends Object implements Serializable
  
  serialVersionUID:
  
  -5439737072100509531L
  - Serialized Fields
    - m_node
```
Node m_node
```
    - m_hasChanged
```
boolean m_hasChanged
```
    - m_atomicConceptsLabel
```
Set<E> m_atomicConceptsLabel
```
    - m_atomicConceptsLabelHashCode
```
int m_atomicConceptsLabelHashCode
```
- Class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker.SingleBlockingSignature extends BlockingSignature implements Serializable
  
  serialVersionUID:
  
  -7349489846772132258L
  - Serialized Fields
    - m_atomicConceptsLabel
```
Set<E> m_atomicConceptsLabel
```
- Class org.semanticweb.HermiT.blocking.ValidatedBlockersCache.CacheEntry extends Object implements Serializable
  
  serialVersionUID:
  
  -7047487963170250200L
  - Serialized Fields
    - m_nodes
```
List<E> m_nodes
```
    - m_hashCode
```
int m_hashCode
```
    - m_nextEntry
```
ValidatedBlockersCache.CacheEntry m_nextEntry
```
- Class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker extends Object implements Serializable
  
  serialVersionUID:
  
  9093753046859877016L
  - Serialized Fields
    - m_atomicConceptsSetFactory
```
SetFactory<E> m_atomicConceptsSetFactory
```
    - m_atomicRolesSetFactory
```
SetFactory<E> m_atomicRolesSetFactory
```
    - m_atomicConceptsBuffer
```
Set<E> m_atomicConceptsBuffer
```
    - m_atomicRolesBuffer
```
Set<E> m_atomicRolesBuffer
```
    - m_hasInverses
```
boolean m_hasInverses
```
    - m_binaryTableSearch1Bound
```
ExtensionTable.Retrieval m_binaryTableSearch1Bound
```
    - m_ternaryTableSearch12Bound
```
ExtensionTable.Retrieval m_ternaryTableSearch12Bound
```
- Class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker extends Object implements Serializable
  
  serialVersionUID:
  
  9093753046859877016L
  - Serialized Fields
    - m_atomicConceptsSetFactory
```
SetFactory<E> m_atomicConceptsSetFactory
```
    - m_atomicRolesSetFactory
```
SetFactory<E> m_atomicRolesSetFactory
```
    - m_atomicConceptsBuffer
```
Set<E> m_atomicConceptsBuffer
```
    - m_atomicRolesBuffer
```
Set<E> m_atomicRolesBuffer
```
    - m_hasInverses
```
boolean m_hasInverses
```
    - m_binaryTableSearch1Bound
```
ExtensionTable.Retrieval m_binaryTableSearch1Bound
```
    - m_ternaryTableSearch12Bound
```
ExtensionTable.Retrieval m_ternaryTableSearch12Bound
```
Package org.semanticweb.HermiT.datatypes
- Class org.semanticweb.HermiT.datatypes.MalformedLiteralException extends RuntimeException implements Serializable
- Class org.semanticweb.HermiT.datatypes.UnsupportedDatatypeException extends RuntimeException implements Serializable
- Class org.semanticweb.HermiT.datatypes.UnsupportedFacetException extends RuntimeException implements Serializable
Package org.semanticweb.HermiT.datatypes.owlreal
- Class org.semanticweb.HermiT.datatypes.owlreal.BigRational extends Number implements Serializable
  
  serialVersionUID:
  
  3883936594384307950L
  - Serialized Fields
    - m_numerator
```
BigInteger m_numerator
```
    - m_denominator
```
BigInteger m_denominator
```
Package org.semanticweb.HermiT.debugger
- Class org.semanticweb.HermiT.debugger.ConsoleTextArea extends JTextArea implements Serializable
  - Serialized Fields
    - m_writer
```
org.semanticweb.HermiT.debugger.ConsoleTextArea.ConsoleWriter m_writer
```
    - m_reader
```
org.semanticweb.HermiT.debugger.ConsoleTextArea.ConsoleReader m_reader
```
    - m_userTypedTextStart
```
int m_userTypedTextStart
```
- Class org.semanticweb.HermiT.debugger.ConsoleTextArea.ConsoleDocument extends PlainDocument implements Serializable
- Class org.semanticweb.HermiT.debugger.Debugger extends TableauMonitorForwarder implements Serializable
  
  serialVersionUID:
  
  -1061073966460686069L
  - Serialized Fields
    - m_commandsByName
```
Map<K,V> m_commandsByName
```
    - m_prefixes
```
Prefixes m_prefixes
```
    - m_derivationHistory
```
DerivationHistory m_derivationHistory
```
    - m_consoleTextArea
```
ConsoleTextArea m_consoleTextArea
```
    - m_mainFrame
```
JFrame m_mainFrame
```
    - m_output
```
PrintWriter m_output
```
    - m_input
```
BufferedReader m_input
```
    - m_waitOptions
```
Set<E> m_waitOptions
```
    - m_nodeCreationInfos
```
Map<K,V> m_nodeCreationInfos
```
    - m_lastExistentialNode
```
Node m_lastExistentialNode
```
    - m_lastExistentialConcept
```
ExistentialConcept m_lastExistentialConcept
```
    - m_tableau
```
Tableau m_tableau
```
    - m_lastCommand
```
String m_lastCommand
```
    - m_forever
```
boolean m_forever
```
    - m_lastStatusMark
```
long m_lastStatusMark
```
    - m_singlestep
```
boolean m_singlestep
```
    - m_inMainLoop
```
boolean m_inMainLoop
```
    - m_breakpointTime
```
int m_breakpointTime
```
    - m_currentIteration
```
int m_currentIteration
```
- Class org.semanticweb.HermiT.debugger.DerivationHistory extends TableauMonitorAdapter implements Serializable
  
  serialVersionUID:
  
  -3963478091986772947L
  - Serialized Fields
    - m_derivedAtoms
```
Map<K,V> m_derivedAtoms
```
    - m_derivedDisjunctions
```
Map<K,V> m_derivedDisjunctions
```
    - m_derivations
```
Stack<E> m_derivations
```
    - m_mergeAtoms
```
Stack<E> m_mergeAtoms
```
- Class org.semanticweb.HermiT.debugger.DerivationHistory.Atom extends Object implements Serializable
  
  serialVersionUID:
  
  -6136317748590721560L
  - Serialized Fields
    - m_tuple
```
Object[] m_tuple
```
    - m_derivedBy
```
DerivationHistory.Derivation m_derivedBy
```
- Class org.semanticweb.HermiT.debugger.DerivationHistory.AtomKey extends Object implements Serializable
  
  serialVersionUID:
  
  1409033744982881556L
  - Serialized Fields
    - m_tuple
```
Object[] m_tuple
```
    - m_hashCode
```
int m_hashCode
```
- Class org.semanticweb.HermiT.debugger.DerivationHistory.BaseFact extends DerivationHistory.Derivation implements Serializable
  
  serialVersionUID:
  
  -5998349862414502218L
- Class org.semanticweb.HermiT.debugger.DerivationHistory.ClashDetection extends DerivationHistory.Derivation implements Serializable
  
  serialVersionUID:
  
  -1046733682276190587L
  - Serialized Fields
    - m_causes
```
DerivationHistory.Atom[] m_causes
```
- Class org.semanticweb.HermiT.debugger.DerivationHistory.DatatypeChecking extends DerivationHistory.Derivation implements Serializable
  
  serialVersionUID:
  
  -7833124370362424190L
  - Serialized Fields
    - m_causes
```
DerivationHistory.Atom[] m_causes
```
- Class org.semanticweb.HermiT.debugger.DerivationHistory.Derivation extends Object implements Serializable
- Class org.semanticweb.HermiT.debugger.DerivationHistory.DisjunctApplication extends DerivationHistory.Derivation implements Serializable
  
  serialVersionUID:
  
  6657356873675430986L
  - Serialized Fields
    - m_disjunction
```
DerivationHistory.Disjunction m_disjunction
```
    - m_disjunctIndex
```
int m_disjunctIndex
```
- Class org.semanticweb.HermiT.debugger.DerivationHistory.Disjunction extends Object implements Serializable
  
  serialVersionUID:
  
  -6645342875287836609L
  - Serialized Fields
    - m_atoms
```
Object[][] m_atoms
```
    - m_derivedBy
```
DerivationHistory.Derivation m_derivedBy
```
- Class org.semanticweb.HermiT.debugger.DerivationHistory.DLClauseApplication extends DerivationHistory.Derivation implements Serializable
  
  serialVersionUID:
  
  5841561027229354512L
  - Serialized Fields
    - m_dlClause
```
DLClause m_dlClause
```
    - m_premises
```
DerivationHistory.Atom[] m_premises
```
- Class org.semanticweb.HermiT.debugger.DerivationHistory.ExistentialExpansion extends DerivationHistory.Derivation implements Serializable
  
  serialVersionUID:
  
  -1266097745277870260L
  - Serialized Fields
    - m_existentialAtom
```
DerivationHistory.Atom m_existentialAtom
```
- Class org.semanticweb.HermiT.debugger.DerivationHistory.GraphChecking extends DerivationHistory.Derivation implements Serializable
  
  serialVersionUID:
  
  -3671522413313454739L
  - Serialized Fields
    - m_graph1
```
DerivationHistory.Atom m_graph1
```
    - m_position1
```
int m_position1
```
    - m_graph2
```
DerivationHistory.Atom m_graph2
```
    - m_position2
```
int m_position2
```
- Class org.semanticweb.HermiT.debugger.DerivationHistory.Merging extends DerivationHistory.Derivation implements Serializable
  
  serialVersionUID:
  
  6815119442652251306L
  - Serialized Fields
    - m_equality
```
DerivationHistory.Atom m_equality
```
    - m_fromAtom
```
DerivationHistory.Atom m_fromAtom
```
- Class org.semanticweb.HermiT.debugger.DerivationHistory.UnknownDatatypeRestrictionDetection extends DerivationHistory.Derivation implements Serializable
  
  serialVersionUID:
  
  -7824360133765453948L
  - Serialized Fields
    - m_causes
```
DerivationHistory.Atom[] m_causes
```
- Class org.semanticweb.HermiT.debugger.DerivationViewer extends JFrame implements Serializable
  - Serialized Fields
    - m_prefixes
```
Prefixes m_prefixes
```
    - m_derivationTreeTreeModel
```
org.semanticweb.HermiT.debugger.DerivationViewer.DerivationTreeTreeModel m_derivationTreeTreeModel
```
    - m_derivationTree
```
JTree m_derivationTree
```
- Class org.semanticweb.HermiT.debugger.DerivationViewer.DerivationTreeCellRenderer extends DefaultTreeCellRenderer implements Serializable
- Class org.semanticweb.HermiT.debugger.DerivationViewer.DerivationTreeTreeModel extends Object implements Serializable
  
  serialVersionUID:
  
  9210217812084186766L
  - Serialized Fields
    - m_eventListeners
```
EventListenerList m_eventListeners
```
    - m_root
```
DerivationHistory.Fact m_root
```
- Class org.semanticweb.HermiT.debugger.DerivationViewer.TextIcon extends Object implements Serializable
  
  serialVersionUID:
  
  2955881594360729470L
  - Serialized Fields
    - m_background
```
Color m_background
```
    - m_foreground
```
Color m_foreground
```
    - m_text
```
String m_text
```
    - m_font
```
Font m_font
```
Package org.semanticweb.HermiT.debugger.commands
- Class org.semanticweb.HermiT.debugger.commands.SubtreeViewer extends JFrame implements Serializable
  - Serialized Fields
    - m_debugger
```
Debugger m_debugger
```
    - m_subtreeTreeModel
```
org.semanticweb.HermiT.debugger.commands.SubtreeViewer.SubtreeTreeModel m_subtreeTreeModel
```
    - m_nodeInfoTextArea
```
JTextArea m_nodeInfoTextArea
```
    - m_tableauTree
```
JTree m_tableauTree
```
    - m_nodeIDField
```
JTextField m_nodeIDField
```
- Class org.semanticweb.HermiT.debugger.commands.SubtreeViewer.MyTreePath extends TreePath implements Serializable
- Class org.semanticweb.HermiT.debugger.commands.SubtreeViewer.NodeCellRenderer extends DefaultTreeCellRenderer implements Serializable
  - Serialized Fields
    - m_debugger
```
Debugger m_debugger
```
Package org.semanticweb.HermiT.existentials
- Class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy extends Object implements Serializable
  
  serialVersionUID:
  
  2831957929321676444L
  - Serialized Fields
    - m_blockingStrategy
```
BlockingStrategy m_blockingStrategy
```
    - m_expandNodeAtATime
```
boolean m_expandNodeAtATime
```
    - m_processedExistentials
```
List<E> m_processedExistentials
```
    - m_auxiliaryNodes1
```
List<E> m_auxiliaryNodes1
```
    - m_auxiliaryNodes2
```
List<E> m_auxiliaryNodes2
```
    - m_tableau
```
Tableau m_tableau
```
    - m_interruptFlag
```
InterruptFlag m_interruptFlag
```
    - m_extensionManager
```
ExtensionManager m_extensionManager
```
    - m_ternaryExtensionTableSearch01Bound
```
ExtensionTable.Retrieval m_ternaryExtensionTableSearch01Bound
```
    - m_ternaryExtensionTableSearch02Bound
```
ExtensionTable.Retrieval m_ternaryExtensionTableSearch02Bound
```
    - m_existentialExpansionManager
```
ExistentialExpansionManager m_existentialExpansionManager
```
    - m_descriptionGraphManager
```
DescriptionGraphManager m_descriptionGraphManager
```
- Class org.semanticweb.HermiT.existentials.CreationOrderStrategy extends AbstractExpansionStrategy implements Serializable
  
  serialVersionUID:
  
  -64673639237063636L
- Class org.semanticweb.HermiT.existentials.IndividualReuseStrategy extends AbstractExpansionStrategy implements Serializable
  
  serialVersionUID:
  
  -7373787507623860081L
  - Serialized Fields
    - m_isDeterministic
```
boolean m_isDeterministic
```
    - m_reusedNodes
```
Map<K,V> m_reusedNodes
```
    - m_doReuseConceptsAlways
```
Set<E> m_doReuseConceptsAlways
```
    - m_dontReuseConceptsThisRun
```
Set<E> m_dontReuseConceptsThisRun
```
    - m_dontReuseConceptsEver
```
Set<E> m_dontReuseConceptsEver
```
    - m_reuseBacktrackingTable
```
TupleTable m_reuseBacktrackingTable
```
    - m_auxiliaryBuffer
```
Object[] m_auxiliaryBuffer
```
    - m_indicesByBranchingPoint
```
int[] m_indicesByBranchingPoint
```
- Class org.semanticweb.HermiT.existentials.IndividualReuseStrategy.IndividualReuseBranchingPoint extends BranchingPoint implements Serializable
  
  serialVersionUID:
  
  -5715836252258022216L
  - Serialized Fields
    - m_existential
```
AtLeastConcept m_existential
```
    - m_node
```
Node m_node
```
    - m_wasParentReuse
```
boolean m_wasParentReuse
```
- Class org.semanticweb.HermiT.existentials.IndividualReuseStrategy.NodeBranchingPointPair extends Object implements Serializable
  
  serialVersionUID:
  
  427963701900451471L
  - Serialized Fields
    - m_node
```
Node m_node
```
    - m_branchingPoint
```
int m_branchingPoint
```
Package org.semanticweb.HermiT.graph
- Class org.semanticweb.HermiT.graph.Graph extends Object implements Serializable
  
  serialVersionUID:
  
  5372948202031042380L
  - Serialized Fields
    - m_elements
```
Set<E> m_elements
```
    - m_successorsByNodes
```
Map<K,V> m_successorsByNodes
```
Package org.semanticweb.HermiT.model
- Class org.semanticweb.HermiT.model.AnnotatedEquality extends Object implements Serializable
  
  serialVersionUID:
  
  7197886700065386931L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
  - Serialized Fields
    - m_cardinality
```
int m_cardinality
```
    - m_onRole
```
Role m_onRole
```
    - m_toConcept
```
LiteralConcept m_toConcept
```
- Class org.semanticweb.HermiT.model.AtLeast extends ExistentialConcept implements Serializable
  
  serialVersionUID:
  
  -5450065396132818872L
  - Serialized Fields
    - m_number
```
int m_number
```
    - m_onRole
```
Role m_onRole
```
- Class org.semanticweb.HermiT.model.AtLeastConcept extends AtLeast implements Serializable
  
  serialVersionUID:
  
  4326267535193393030L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
  - Serialized Fields
    - m_toConcept
```
LiteralConcept m_toConcept
```
- Class org.semanticweb.HermiT.model.AtLeastDataRange extends AtLeast implements Serializable
  
  serialVersionUID:
  
  4326267535193393030L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
  - Serialized Fields
    - m_toDataRange
```
LiteralDataRange m_toDataRange
```
- Class org.semanticweb.HermiT.model.Atom extends Object implements Serializable
  
  serialVersionUID:
  
  7884900540178779422L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
  - Serialized Fields
    - m_dlPredicate
```
DLPredicate m_dlPredicate
```
    - m_arguments
```
Term[] m_arguments
```
- Class org.semanticweb.HermiT.model.AtomicConcept extends LiteralConcept implements Serializable
  
  serialVersionUID:
  
  -1078274072706143620L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
  - Serialized Fields
    - m_iri
```
String m_iri
```
- Class org.semanticweb.HermiT.model.AtomicDataRange extends LiteralDataRange implements Serializable
  
  serialVersionUID:
  
  8843660377807760406L
- Class org.semanticweb.HermiT.model.AtomicNegationConcept extends LiteralConcept implements Serializable
  
  serialVersionUID:
  
  -4635386233266966577L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
  - Serialized Fields
    - m_negatedAtomicConcept
```
AtomicConcept m_negatedAtomicConcept
```
- Class org.semanticweb.HermiT.model.AtomicNegationDataRange extends LiteralDataRange implements Serializable
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
  - Serialized Fields
    - m_negatedDataRange
```
AtomicDataRange m_negatedDataRange
```
- Class org.semanticweb.HermiT.model.AtomicRole extends Role implements Serializable
  
  serialVersionUID:
  
  3766087788313643809L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
  - Serialized Fields
    - m_iri
```
String m_iri
```
- Class org.semanticweb.HermiT.model.Concept extends Object implements Serializable
  
  serialVersionUID:
  
  -8685976675539160944L
- Class org.semanticweb.HermiT.model.Constant extends Term implements Serializable
  
  serialVersionUID:
  
  -8143911431654640690L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
  - Serialized Fields
    - m_lexicalForm
```
String m_lexicalForm
```
    - m_datatypeURI
```
String m_datatypeURI
```
    - m_dataValue
```
Object m_dataValue
```
- Class org.semanticweb.HermiT.model.ConstantEnumeration extends AtomicDataRange implements Serializable
  
  serialVersionUID:
  
  4663162424764302912L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
  - Serialized Fields
    - m_constants
```
Constant[] m_constants
```
- Class org.semanticweb.HermiT.model.DataRange extends Object implements Serializable
  
  serialVersionUID:
  
  352467050584766830L
- Class org.semanticweb.HermiT.model.DatatypeRestriction extends AtomicDataRange implements Serializable
  
  serialVersionUID:
  
  524235536504588458L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
  - Serialized Fields
    - m_datatypeURI
```
String m_datatypeURI
```
    - m_facetURIs
```
String[] m_facetURIs
```
    - m_facetValues
```
Constant[] m_facetValues
```
- Class org.semanticweb.HermiT.model.DescriptionGraph extends Object implements Serializable
  
  serialVersionUID:
  
  -6098910060520673164L
  - Serialized Fields
    - m_name
```
String m_name
```
    - m_atomicConceptsByVertices
```
AtomicConcept[] m_atomicConceptsByVertices
```
    - m_edges
```
DescriptionGraph.Edge[] m_edges
```
    - m_startConcepts
```
Set<E> m_startConcepts
```
- Class org.semanticweb.HermiT.model.DescriptionGraph.Edge extends Object implements Serializable
  
  serialVersionUID:
  
  -2407275128459101707L
  - Serialized Fields
    - m_atomicRole
```
AtomicRole m_atomicRole
```
    - m_fromVertex
```
int m_fromVertex
```
    - m_toVertex
```
int m_toVertex
```
- Class org.semanticweb.HermiT.model.DLClause extends Object implements Serializable
  
  serialVersionUID:
  
  -4513910129515151732L
  - Serialized Fields
    - m_headAtoms
```
Atom[] m_headAtoms
```
    - m_bodyAtoms
```
Atom[] m_bodyAtoms
```
- Class org.semanticweb.HermiT.model.DLOntology extends Object implements Serializable
  
  serialVersionUID:
  
  3189937959595369812L
  - Serialized Fields
    - m_ontologyIRI
```
String m_ontologyIRI
```
    - m_dlClauses
```
Set<E> m_dlClauses
```
    - m_positiveFacts
```
Set<E> m_positiveFacts
```
    - m_negativeFacts
```
Set<E> m_negativeFacts
```
    - m_hasInverseRoles
```
boolean m_hasInverseRoles
```
    - m_hasAtMostRestrictions
```
boolean m_hasAtMostRestrictions
```
    - m_hasNominals
```
boolean m_hasNominals
```
    - m_hasDatatypes
```
boolean m_hasDatatypes
```
    - m_isHorn
```
boolean m_isHorn
```
    - m_allAtomicConcepts
```
Set<E> m_allAtomicConcepts
```
    - m_numberOfExternalConcepts
```
int m_numberOfExternalConcepts
```
    - m_allAtomicObjectRoles
```
Set<E> m_allAtomicObjectRoles
```
    - m_allComplexObjectRoles
```
Set<E> m_allComplexObjectRoles
```
    - m_allAtomicDataRoles
```
Set<E> m_allAtomicDataRoles
```
    - m_allUnknownDatatypeRestrictions
```
Set<E> m_allUnknownDatatypeRestrictions
```
    - m_definedDatatypeIRIs
```
Set<E> m_definedDatatypeIRIs
```
    - m_allIndividuals
```
Set<E> m_allIndividuals
```
    - m_allDescriptionGraphs
```
Set<E> m_allDescriptionGraphs
```
    - m_dataPropertyAssertions
```
Map<K,V> m_dataPropertyAssertions
```
- Class org.semanticweb.HermiT.model.DLOntology.AtomicConceptComparator extends Object implements Serializable
  
  serialVersionUID:
  
  2386841732225838685L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
- Class org.semanticweb.HermiT.model.DLOntology.AtomicRoleComparator extends Object implements Serializable
  
  serialVersionUID:
  
  3483541702854959793L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
- Class org.semanticweb.HermiT.model.DLOntology.IndividualComparator extends Object implements Serializable
  
  serialVersionUID:
  
  2386841732225838685L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
- Class org.semanticweb.HermiT.model.Equality extends Object implements Serializable
  
  serialVersionUID:
  
  8308051741088513244L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
- Class org.semanticweb.HermiT.model.ExistentialConcept extends Concept implements Serializable
  
  serialVersionUID:
  
  -1578295401143709109L
- Class org.semanticweb.HermiT.model.ExistsDescriptionGraph extends ExistentialConcept implements Serializable
  
  serialVersionUID:
  
  7433430510725260994L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
  - Serialized Fields
    - m_descriptionGraph
```
DescriptionGraph m_descriptionGraph
```
    - m_vertex
```
int m_vertex
```
- Class org.semanticweb.HermiT.model.Individual extends Term implements Serializable
  
  serialVersionUID:
  
  2791684055390160959L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
  - Serialized Fields
    - m_uri
```
String m_uri
```
- Class org.semanticweb.HermiT.model.Inequality extends Object implements Serializable
  
  serialVersionUID:
  
  296924110684230279L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
- Class org.semanticweb.HermiT.model.InternalDatatype extends AtomicDataRange implements Serializable
  
  serialVersionUID:
  
  -1078274072706143620L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
  - Serialized Fields
    - m_iri
```
String m_iri
```
- Class org.semanticweb.HermiT.model.InverseRole extends Role implements Serializable
  
  serialVersionUID:
  
  3351701933728011998L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
  - Serialized Fields
    - m_inverseOf
```
AtomicRole m_inverseOf
```
- Class org.semanticweb.HermiT.model.LiteralConcept extends Concept implements Serializable
  
  serialVersionUID:
  
  -2302452747339289424L
- Class org.semanticweb.HermiT.model.LiteralDataRange extends DataRange implements Serializable
  
  serialVersionUID:
  
  -2302452747339289424L
- Class org.semanticweb.HermiT.model.NodeIDLessEqualThan extends Object implements Serializable
  
  serialVersionUID:
  
  5572346926189452451L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
- Class org.semanticweb.HermiT.model.NodeIDsAscendingOrEqual extends Object implements Serializable
  
  serialVersionUID:
  
  7197886700065386931L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
  - Serialized Fields
    - m_arity
```
int m_arity
```
- Class org.semanticweb.HermiT.model.Role extends Object implements Serializable
  
  serialVersionUID:
  
  -6487260817445541931L
- Class org.semanticweb.HermiT.model.Term extends Object implements Serializable
  
  serialVersionUID:
  
  -8524194708579485033L
- Class org.semanticweb.HermiT.model.Variable extends Term implements Serializable
  
  serialVersionUID:
  
  -1943457771102512887L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
  - Serialized Fields
    - m_name
```
String m_name
```
Package org.semanticweb.HermiT.monitor
- Class org.semanticweb.HermiT.monitor.CountingMonitor extends TableauMonitorAdapter implements Serializable
  
  serialVersionUID:
  
  -8144444618897251350L
  - Serialized Fields
    - m_problemStartTime
```
long m_problemStartTime
```
    - m_validationStartTime
```
long m_validationStartTime
```
    - m_datatypeCheckingStartTime
```
long m_datatypeCheckingStartTime
```
    - m_testNo
```
int m_testNo
```
    - m_time
```
long m_time
```
    - m_numberOfBacktrackings
```
int m_numberOfBacktrackings
```
    - m_numberOfNodes
```
int m_numberOfNodes
```
    - m_numberOfBlockedNodes
```
int m_numberOfBlockedNodes
```
    - m_reasoningTaskDescription
```
ReasoningTaskDescription m_reasoningTaskDescription
```
    - m_testResult
```
boolean m_testResult
```
    - m_initialModelSize
```
int m_initialModelSize
```
    - m_initiallyBlocked
```
int m_initiallyBlocked
```
    - m_initiallyInvalid
```
int m_initiallyInvalid
```
    - m_noValidations
```
int m_noValidations
```
    - m_validationTime
```
long m_validationTime
```
    - m_numberDatatypesChecked
```
int m_numberDatatypesChecked
```
    - m_datatypeCheckingTime
```
int m_datatypeCheckingTime
```
    - m_testRecords
```
Map<K,V> m_testRecords
```
    - m_overallTime
```
long m_overallTime
```
    - m_overallNumberOfBacktrackings
```
int m_overallNumberOfBacktrackings
```
    - m_overallNumberOfNodes
```
int m_overallNumberOfNodes
```
    - m_overallNumberOfBlockedNodes
```
int m_overallNumberOfBlockedNodes
```
    - m_overallNumberOfTests
```
int m_overallNumberOfTests
```
    - m_overallNumberOfClashes
```
int m_overallNumberOfClashes
```
    - m_possibleInstancesTested
```
int m_possibleInstancesTested
```
    - m_possibleInstancesInstances
```
int m_possibleInstancesInstances
```
    - m_overallInitialModelSize
```
int m_overallInitialModelSize
```
    - m_overallInitiallyBlocked
```
int m_overallInitiallyBlocked
```
    - m_overallInitiallyInvalid
```
int m_overallInitiallyInvalid
```
    - m_overallNoValidations
```
int m_overallNoValidations
```
    - m_overallValidationTime
```
long m_overallValidationTime
```
    - m_overallDatatypeCheckingTime
```
int m_overallDatatypeCheckingTime
```
    - m_overallNumberDatatypesChecked
```
int m_overallNumberDatatypesChecked
```
- Class org.semanticweb.HermiT.monitor.CountingMonitor.TestRecord extends Object implements Serializable
  
  serialVersionUID:
  
  -3815493500625020183L
  - Serialized Fields
    - m_testTime
```
long m_testTime
```
    - m_testDescription
```
String m_testDescription
```
    - m_testResult
```
boolean m_testResult
```
- Class org.semanticweb.HermiT.monitor.TableauMonitorAdapter extends Object implements Serializable
  
  serialVersionUID:
  
  6336033031431260208L
  - Serialized Fields
    - m_tableau
```
Tableau m_tableau
```
- Class org.semanticweb.HermiT.monitor.TableauMonitorFork extends Object implements Serializable
  
  serialVersionUID:
  
  8321902665477431455L
  - Serialized Fields
    - m_first
```
TableauMonitor m_first
```
    - m_second
```
TableauMonitor m_second
```
- Class org.semanticweb.HermiT.monitor.TableauMonitorForwarder extends Object implements Serializable
  
  serialVersionUID:
  
  -371801782567741632L
  - Serialized Fields
    - m_forwardingTargetMonitor
```
TableauMonitor m_forwardingTargetMonitor
```
    - m_forwardingOn
```
boolean m_forwardingOn
```
- Class org.semanticweb.HermiT.monitor.Timer extends TableauMonitorAdapter implements Serializable
  
  serialVersionUID:
  
  -8144444618897251350L
  - Serialization Methods
    - readResolve
```
protected Object readResolve()
```
  - Serialized Fields
    - m_problemStartTime
```
long m_problemStartTime
```
    - m_lastStatusTime
```
long m_lastStatusTime
```
    - m_numberOfBacktrackings
```
int m_numberOfBacktrackings
```
    - m_testNumber
```
int m_testNumber
```
- Class org.semanticweb.HermiT.monitor.TimerWithPause extends Timer implements Serializable
  
  serialVersionUID:
  
  -9176603965017225734L
  - Serialized Fields
    - m_in
```
BufferedReader m_in
```
Package org.semanticweb.HermiT.tableau
- Class org.semanticweb.HermiT.tableau.BranchingPoint extends Object implements Serializable
  
  serialVersionUID:
  
  7306881534568051692L
  - Serialized Fields
    - m_level
```
int m_level
```
    - m_lastTableauNode
```
Node m_lastTableauNode
```
    - m_lastMergedOrPrunedNode
```
Node m_lastMergedOrPrunedNode
```
    - m_firstGroundDisjunction
```
GroundDisjunction m_firstGroundDisjunction
```
    - m_firstUnprocessedGroundDisjunction
```
GroundDisjunction m_firstUnprocessedGroundDisjunction
```
- Class org.semanticweb.HermiT.tableau.ClashManager extends Object implements Serializable
  
  serialVersionUID:
  
  3533809151139695892L
  - Serialized Fields
    - m_extensionManager
```
ExtensionManager m_extensionManager
```
    - m_ternaryExtensionTableSearch01Bound
```
ExtensionTable.Retrieval m_ternaryExtensionTableSearch01Bound
```
    - m_tableauMonitor
```
TableauMonitor m_tableauMonitor
```
    - m_binaryAuxiliaryTuple
```
Object[] m_binaryAuxiliaryTuple
```
    - m_ternaryAuxiliaryTuple
```
Object[] m_ternaryAuxiliaryTuple
```
    - m_binaryUnionDependencySet
```
org.semanticweb.HermiT.tableau.UnionDependencySet m_binaryUnionDependencySet
```
- Class org.semanticweb.HermiT.tableau.DatatypeManager extends Object implements Serializable
  
  serialVersionUID:
  
  -5304869484553471737L
  - Serialized Fields
    - m_interruptFlag
```
InterruptFlag m_interruptFlag
```
    - m_tableauMonitor
```
TableauMonitor m_tableauMonitor
```
    - m_extensionManager
```
ExtensionManager m_extensionManager
```
    - m_assertionsDeltaOldRetrieval
```
ExtensionTable.Retrieval m_assertionsDeltaOldRetrieval
```
    - m_inequalityDeltaOldRetrieval
```
ExtensionTable.Retrieval m_inequalityDeltaOldRetrieval
```
    - m_inequality01Retrieval
```
ExtensionTable.Retrieval m_inequality01Retrieval
```
    - m_inequality02Retrieval
```
ExtensionTable.Retrieval m_inequality02Retrieval
```
    - m_assertions0Retrieval
```
ExtensionTable.Retrieval m_assertions0Retrieval
```
    - m_assertions1Retrieval
```
ExtensionTable.Retrieval m_assertions1Retrieval
```
    - m_conjunction
```
DatatypeManager.DConjunction m_conjunction
```
    - m_auxiliaryVariableList
```
List<E> m_auxiliaryVariableList
```
    - m_unionDependencySet
```
org.semanticweb.HermiT.tableau.UnionDependencySet m_unionDependencySet
```
    - m_newVariableAdded
```
boolean[] m_newVariableAdded
```
    - m_unknownDatatypeRestrictionsPermanent
```
Set<E> m_unknownDatatypeRestrictionsPermanent
```
    - m_unknownDatatypeRestrictionsAdditional
```
Set<E> m_unknownDatatypeRestrictionsAdditional
```
- Class org.semanticweb.HermiT.tableau.DatatypeManager.DConjunction extends Object implements Serializable
  
  serialVersionUID:
  
  3597740301361593691L
  - Serialized Fields
    - m_unusedVariables
```
List<E> m_unusedVariables
```
    - m_usedVariables
```
List<E> m_usedVariables
```
    - m_activeVariables
```
List<E> m_activeVariables
```
    - m_buckets
```
DatatypeManager.DVariable[] m_buckets
```
    - m_numberOfEntries
```
int m_numberOfEntries
```
    - m_resizeThreshold
```
int m_resizeThreshold
```
- Class org.semanticweb.HermiT.tableau.DatatypeManager.DVariable extends Object implements Serializable
  
  serialVersionUID:
  
  -2490195841140286089L
  - Serialized Fields
    - m_positiveConstantEnumerations
```
List<E> m_positiveConstantEnumerations
```
    - m_negativeConstantEnumerations
```
List<E> m_negativeConstantEnumerations
```
    - m_positiveDatatypeRestrictions
```
List<E> m_positiveDatatypeRestrictions
```
    - m_negativeDatatypeRestrictions
```
List<E> m_negativeDatatypeRestrictions
```
    - m_unequalTo
```
List<E> m_unequalTo
```
    - m_unequalToDirect
```
List<E> m_unequalToDirect
```
    - m_forbiddenDataValues
```
List<E> m_forbiddenDataValues
```
    - m_explicitDataValues
```
List<E> m_explicitDataValues
```
    - m_hasExplicitDataValues
```
boolean m_hasExplicitDataValues
```
    - m_mostSpecificRestriction
```
DatatypeRestriction m_mostSpecificRestriction
```
    - m_node
```
Node m_node
```
    - m_nextEntry
```
DatatypeManager.DVariable m_nextEntry
```
    - m_valueSpaceSubset
```
ValueSpaceSubset m_valueSpaceSubset
```
    - m_dataValue
```
Object m_dataValue
```
- Class org.semanticweb.HermiT.tableau.DatatypeManager.SmallestEnumerationFirst extends Object implements Serializable
  
  serialVersionUID:
  
  8838838641444833249L
- Class org.semanticweb.HermiT.tableau.DependencySetFactory extends Object implements Serializable
  
  serialVersionUID:
  
  8632867055646817311L
  - Serialized Fields
    - m_mergeArray
```
org.semanticweb.HermiT.tableau.DependencySetFactory.IntegerArray m_mergeArray
```
    - m_mergeSets
```
List<E> m_mergeSets
```
    - m_unprocessedSets
```
List<E> m_unprocessedSets
```
    - m_emptySet
```
PermanentDependencySet m_emptySet
```
    - m_firstUnusedSet
```
PermanentDependencySet m_firstUnusedSet
```
    - m_firstDestroyedSet
```
PermanentDependencySet m_firstDestroyedSet
```
    - m_entries
```
PermanentDependencySet[] m_entries
```
    - m_size
```
int m_size
```
    - m_resizeThreshold
```
int m_resizeThreshold
```
- Class org.semanticweb.HermiT.tableau.DependencySetFactory.IntegerArray extends Object implements Serializable
  
  serialVersionUID:
  
  7070190530381846058L
  - Serialized Fields
    - m_elements
```
int[] m_elements
```
    - m_size
```
int m_size
```
- Class org.semanticweb.HermiT.tableau.DescriptionGraphManager extends Object implements Serializable
  
  serialVersionUID:
  
  4536271856850424712L
  - Serialized Fields
    - m_tableau
```
Tableau m_tableau
```
    - m_interruptFlag
```
InterruptFlag m_interruptFlag
```
    - m_tableauMonitor
```
TableauMonitor m_tableauMonitor
```
    - m_extensionManager
```
ExtensionManager m_extensionManager
```
    - m_mergingManager
```
MergingManager m_mergingManager
```
    - m_occurrenceManager
```
org.semanticweb.HermiT.tableau.DescriptionGraphManager.OccurrenceManager m_occurrenceManager
```
    - m_descriptionGraphIndices
```
Map<K,V> m_descriptionGraphIndices
```
    - m_descriptionGraphsByIndex
```
DescriptionGraph[] m_descriptionGraphsByIndex
```
    - m_extensionTablesByIndex
```
ExtensionTable[] m_extensionTablesByIndex
```
    - m_auxiliaryTuples1
```
Object[][] m_auxiliaryTuples1
```
    - m_auxiliaryTuples2
```
Object[][] m_auxiliaryTuples2
```
    - m_newNodes
```
List<E> m_newNodes
```
    - m_binaryUnionDependencySet
```
org.semanticweb.HermiT.tableau.UnionDependencySet m_binaryUnionDependencySet
```
    - m_deltaOldRetrievals
```
ExtensionTable.Retrieval[] m_deltaOldRetrievals
```
- Class org.semanticweb.HermiT.tableau.DescriptionGraphManager.OccurrenceManager extends Object implements Serializable
  
  serialVersionUID:
  
  7594355731105478918L
  - Serialized Fields
    - m_nodePages
```
int[][] m_nodePages
```
    - m_firstFreeListNode
```
int m_firstFreeListNode
```
    - m_numberOfPages
```
int m_numberOfPages
```
- Class org.semanticweb.HermiT.tableau.DisjunctionBranchingPoint extends BranchingPoint implements Serializable
  
  serialVersionUID:
  
  -8855083430836162354L
  - Serialized Fields
    - m_groundDisjunction
```
GroundDisjunction m_groundDisjunction
```
    - m_sortedDisjunctIndexes
```
int[] m_sortedDisjunctIndexes
```
    - m_currentIndex
```
int m_currentIndex
```
- Class org.semanticweb.HermiT.tableau.DLClauseEvaluator extends Object implements Serializable
  
  serialVersionUID:
  
  4639844159658590456L
  - Serialized Fields
    - m_interruptFlag
```
InterruptFlag m_interruptFlag
```
    - m_extensionManager
```
ExtensionManager m_extensionManager
```
    - m_retrievals
```
ExtensionTable.Retrieval[] m_retrievals
```
    - m_workers
```
DLClauseEvaluator.Worker[] m_workers
```
    - m_bodyDLClause
```
DLClause m_bodyDLClause
```
    - m_headDLClauses
```
List<E> m_headDLClauses
```
- Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.BranchIfNotEqual extends Object implements Serializable
  
  serialVersionUID:
  
  -1880147431680856293L
  - Serialized Fields
    - m_notEqualProgramCounter
```
int m_notEqualProgramCounter
```
    - m_buffer
```
Object[] m_buffer
```
    - m_index1
```
int m_index1
```
    - m_index2
```
int m_index2
```
- Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.BranchIfNotNodeIDLessEqualThan extends Object implements Serializable
  
  serialVersionUID:
  
  2484359261424674914L
  - Serialized Fields
    - m_notLessProgramCounter
```
int m_notLessProgramCounter
```
    - m_buffer
```
Object[] m_buffer
```
    - m_index1
```
int m_index1
```
    - m_index2
```
int m_index2
```
- Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.BranchIfNotNodeIDsAscendingOrEqual extends Object implements Serializable
  
  serialVersionUID:
  
  8053779312249250349L
  - Serialized Fields
    - m_branchProgramCounter
```
int m_branchProgramCounter
```
    - m_buffer
```
Object[] m_buffer
```
    - m_nodeIndexes
```
int[] m_nodeIndexes
```
- Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.CallMatchFinishedOnMonitor extends Object implements Serializable
  
  serialVersionUID:
  
  1046400921858176361L
  - Serialized Fields
    - m_tableauMonitor
```
TableauMonitor m_tableauMonitor
```
    - m_dlClauseEvaluator
```
DLClauseEvaluator m_dlClauseEvaluator
```
    - m_dlClauseIndex
```
int m_dlClauseIndex
```
- Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.CallMatchStartedOnMonitor extends Object implements Serializable
  
  serialVersionUID:
  
  8736659573939242252L
  - Serialized Fields
    - m_tableauMonitor
```
TableauMonitor m_tableauMonitor
```
    - m_dlClauseEvaluator
```
DLClauseEvaluator m_dlClauseEvaluator
```
    - m_dlClauseIndex
```
int m_dlClauseIndex
```
- Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.CopyDependencySet extends Object implements Serializable
  
  serialVersionUID:
  
  705172386083123813L
  - Serialized Fields
    - m_retrieval
```
ExtensionTable.Retrieval m_retrieval
```
    - m_targetDependencySets
```
DependencySet[] m_targetDependencySets
```
    - m_targetIndex
```
int m_targetIndex
```
- Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.CopyValues extends Object implements Serializable
  
  serialVersionUID:
  
  -4323769483485648756L
  - Serialized Fields
    - m_fromBuffer
```
Object[] m_fromBuffer
```
    - m_fromIndex
```
int m_fromIndex
```
    - m_toBuffer
```
Object[] m_toBuffer
```
    - m_toIndex
```
int m_toIndex
```
- Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.DeriveBinaryFact extends Object implements Serializable
  
  serialVersionUID:
  
  1823363493615682288L
  - Serialized Fields
    - m_extensionManager
```
ExtensionManager m_extensionManager
```
    - m_valuesBuffer
```
Object[] m_valuesBuffer
```
    - m_dependencySet
```
DependencySet m_dependencySet
```
    - m_dlPredicate
```
DLPredicate m_dlPredicate
```
    - m_argumentIndex1
```
int m_argumentIndex1
```
    - m_argumentIndex2
```
int m_argumentIndex2
```
- Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.DeriveDisjunction extends Object implements Serializable
  
  serialVersionUID:
  
  -3546622575743138887L
  - Serialized Fields
    - m_tableau
```
Tableau m_tableau
```
    - m_valuesBuffer
```
Object[] m_valuesBuffer
```
    - m_coreVariables
```
boolean[] m_coreVariables
```
    - m_dependencySet
```
DependencySet m_dependencySet
```
    - m_groundDisjunctionHeader
```
GroundDisjunctionHeader m_groundDisjunctionHeader
```
    - m_copyIsCore
```
int[] m_copyIsCore
```
    - m_copyValuesToArguments
```
int[] m_copyValuesToArguments
```
- Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.DeriveTernaryFact extends Object implements Serializable
  
  serialVersionUID:
  
  1823363493615682288L
  - Serialized Fields
    - m_extensionManager
```
ExtensionManager m_extensionManager
```
    - m_valuesBuffer
```
Object[] m_valuesBuffer
```
    - m_dependencySet
```
DependencySet m_dependencySet
```
    - m_dlPredicate
```
DLPredicate m_dlPredicate
```
    - m_argumentIndex1
```
int m_argumentIndex1
```
    - m_argumentIndex2
```
int m_argumentIndex2
```
    - m_argumentIndex3
```
int m_argumentIndex3
```
- Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.DeriveUnaryFact extends Object implements Serializable
  
  serialVersionUID:
  
  7883620022252842010L
  - Serialized Fields
    - m_extensionManager
```
ExtensionManager m_extensionManager
```
    - m_valuesBuffer
```
Object[] m_valuesBuffer
```
    - m_coreVariables
```
boolean[] m_coreVariables
```
    - m_dependencySet
```
DependencySet m_dependencySet
```
    - m_dlPredicate
```
DLPredicate m_dlPredicate
```
    - m_argumentIndex
```
int m_argumentIndex
```
- Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.HasMoreRetrieval extends Object implements Serializable
  
  serialVersionUID:
  
  -2415094151423166585L
  - Serialized Fields
    - m_eofProgramCounter
```
int m_eofProgramCounter
```
    - m_retrieval
```
ExtensionTable.Retrieval m_retrieval
```
- Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.JumpTo extends Object implements Serializable
  
  serialVersionUID:
  
  -6957866973028474739L
  - Serialized Fields
    - m_jumpTo
```
int m_jumpTo
```
- Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.NextRetrieval extends Object implements Serializable
  
  serialVersionUID:
  
  -2787897558147109082L
  - Serialized Fields
    - m_retrieval
```
ExtensionTable.Retrieval m_retrieval
```
- Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.OpenRetrieval extends Object implements Serializable
  
  serialVersionUID:
  
  8246610603084803950L
  - Serialized Fields
    - m_retrieval
```
ExtensionTable.Retrieval m_retrieval
```
- Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.SetClash extends Object implements Serializable
  
  serialVersionUID:
  
  -4981087765064918953L
  - Serialized Fields
    - m_extensionManager
```
ExtensionManager m_extensionManager
```
    - m_dependencySet
```
DependencySet m_dependencySet
```
- Class org.semanticweb.HermiT.tableau.ExistentialExpansionManager extends Object implements Serializable
  
  serialVersionUID:
  
  4794168582297181623L
  - Serialized Fields
    - m_tableau
```
Tableau m_tableau
```
    - m_extensionManager
```
ExtensionManager m_extensionManager
```
    - m_expandedExistentials
```
TupleTable m_expandedExistentials
```
    - m_auxiliaryTuple
```
Object[] m_auxiliaryTuple
```
    - m_auxiliaryNodes
```
List<E> m_auxiliaryNodes
```
    - m_ternaryExtensionTableSearch01Bound
```
ExtensionTable.Retrieval m_ternaryExtensionTableSearch01Bound
```
    - m_ternaryExtensionTableSearch02Bound
```
ExtensionTable.Retrieval m_ternaryExtensionTableSearch02Bound
```
    - m_functionalRoles
```
Map<K,V> m_functionalRoles
```
    - m_binaryUnionDependencySet
```
org.semanticweb.HermiT.tableau.UnionDependencySet m_binaryUnionDependencySet
```
    - m_indicesByBranchingPoint
```
int[] m_indicesByBranchingPoint
```
- Class org.semanticweb.HermiT.tableau.ExtensionManager extends Object implements Serializable
  
  serialVersionUID:
  
  5900300914631070591L
  - Serialized Fields
    - m_tableau
```
Tableau m_tableau
```
    - m_tableauMonitor
```
TableauMonitor m_tableauMonitor
```
    - m_dependencySetFactory
```
DependencySetFactory m_dependencySetFactory
```
    - m_extensionTablesByArity
```
Map<K,V> m_extensionTablesByArity
```
    - m_allExtensionTablesArray
```
ExtensionTable[] m_allExtensionTablesArray
```
    - m_binaryExtensionTable
```
ExtensionTable m_binaryExtensionTable
```
    - m_ternaryExtensionTable
```
ExtensionTable m_ternaryExtensionTable
```
    - m_binaryAuxiliaryTupleContains
```
Object[] m_binaryAuxiliaryTupleContains
```
    - m_binaryAuxiliaryTupleAdd
```
Object[] m_binaryAuxiliaryTupleAdd
```
    - m_ternaryAuxiliaryTupleContains
```
Object[] m_ternaryAuxiliaryTupleContains
```
    - m_ternaryAuxiliaryTupleAdd
```
Object[] m_ternaryAuxiliaryTupleAdd
```
    - m_fouraryAuxiliaryTupleContains
```
Object[] m_fouraryAuxiliaryTupleContains
```
    - m_fouraryAuxiliaryTupleAdd
```
Object[] m_fouraryAuxiliaryTupleAdd
```
    - m_clashDependencySet
```
PermanentDependencySet m_clashDependencySet
```
    - m_addActive
```
boolean m_addActive
```
- Class org.semanticweb.HermiT.tableau.ExtensionTable extends Object implements Serializable
  
  serialVersionUID:
  
  -5029938218056017193L
  - Serialized Fields
    - m_tableau
```
Tableau m_tableau
```
    - m_tableauMonitor
```
TableauMonitor m_tableauMonitor
```
    - m_tupleArity
```
int m_tupleArity
```
    - m_tupleTable
```
TupleTable m_tupleTable
```
    - m_dependencySetManager
```
org.semanticweb.HermiT.tableau.ExtensionTable.DependencySetManager m_dependencySetManager
```
    - m_coreManager
```
org.semanticweb.HermiT.tableau.ExtensionTable.CoreManager m_coreManager
```
    - m_afterExtensionOldTupleIndex
```
int m_afterExtensionOldTupleIndex
```
    - m_afterExtensionThisTupleIndex
```
int m_afterExtensionThisTupleIndex
```
    - m_afterDeltaNewTupleIndex
```
int m_afterDeltaNewTupleIndex
```
    - m_indicesByBranchingPoint
```
int[] m_indicesByBranchingPoint
```
- Class org.semanticweb.HermiT.tableau.ExtensionTable.DeterministicDependencySetManager extends Object implements Serializable
  
  serialVersionUID:
  
  7982627098607954806L
  - Serialized Fields
    - m_dependencySetFactory
```
DependencySetFactory m_dependencySetFactory
```
- Class org.semanticweb.HermiT.tableau.ExtensionTable.LastObjectDependencySetManager extends Object implements Serializable
  
  serialVersionUID:
  
  -8097612469749016470L
  - Serialized Fields
    - m_dependencySetFactory
```
DependencySetFactory m_dependencySetFactory
```
- Class org.semanticweb.HermiT.tableau.ExtensionTable.NoCoreManager extends Object implements Serializable
  
  serialVersionUID:
  
  3252994135060928432L
- Class org.semanticweb.HermiT.tableau.ExtensionTable.RealCoreManager extends Object implements Serializable
  
  serialVersionUID:
  
  3276377301185845284L
  - Serialized Fields
    - m_bits
```
int[] m_bits
```
- Class org.semanticweb.HermiT.tableau.ExtensionTable.UnindexedRetrieval extends Object implements Serializable
  
  serialVersionUID:
  
  6395072458663267969L
  - Serialized Fields
    - m_extensionView
```
ExtensionTable.View m_extensionView
```
    - m_bindingPositions
```
int[] m_bindingPositions
```
    - m_bindingsBuffer
```
Object[] m_bindingsBuffer
```
    - m_tupleBuffer
```
Object[] m_tupleBuffer
```
    - m_ownsBuffers
```
boolean m_ownsBuffers
```
    - m_checkTupleSelection
```
boolean m_checkTupleSelection
```
    - m_currentTupleIndex
```
int m_currentTupleIndex
```
    - m_afterLastTupleIndex
```
int m_afterLastTupleIndex
```
- Class org.semanticweb.HermiT.tableau.ExtensionTableWithFullIndex extends ExtensionTable implements Serializable
  
  serialVersionUID:
  
  2856811178050960058L
  - Serialized Fields
    - m_tupleTableFullIndex
```
org.semanticweb.HermiT.tableau.TupleTableFullIndex m_tupleTableFullIndex
```
    - m_auxiliaryTuple
```
Object[] m_auxiliaryTuple
```
- Class org.semanticweb.HermiT.tableau.ExtensionTableWithFullIndex.IndexedRetrieval extends Object implements Serializable
  
  serialVersionUID:
  
  5984560476970027366L
  - Serialized Fields
    - m_bindingPositions
```
int[] m_bindingPositions
```
    - m_bindingsBuffer
```
Object[] m_bindingsBuffer
```
    - m_tupleBuffer
```
Object[] m_tupleBuffer
```
    - m_ownsBuffers
```
boolean m_ownsBuffers
```
    - m_extensionView
```
ExtensionTable.View m_extensionView
```
    - m_currentTupleIndex
```
int m_currentTupleIndex
```
- Class org.semanticweb.HermiT.tableau.ExtensionTableWithTupleIndexes extends ExtensionTable implements Serializable
  
  serialVersionUID:
  
  -684536236157965372L
  - Serialized Fields
    - m_tupleIndexes
```
org.semanticweb.HermiT.tableau.TupleIndex[] m_tupleIndexes
```
    - m_auxiliaryTuple
```
Object[] m_auxiliaryTuple
```
- Class org.semanticweb.HermiT.tableau.ExtensionTableWithTupleIndexes.IndexedRetrieval extends TupleIndex.TupleIndexRetrieval implements Serializable
  
  serialVersionUID:
  
  2180748099314801734L
  - Serialized Fields
    - m_bindingPositions
```
int[] m_bindingPositions
```
    - m_tupleBuffer
```
Object[] m_tupleBuffer
```
    - m_ownsBuffers
```
boolean m_ownsBuffers
```
    - m_extensionView
```
ExtensionTable.View m_extensionView
```
    - m_checkTupleSelection
```
boolean m_checkTupleSelection
```
    - m_dependencySet
```
DependencySet m_dependencySet
```
    - m_isCore
```
boolean m_isCore
```
    - m_firstTupleIndex
```
int m_firstTupleIndex
```
    - m_afterLastTupleIndex
```
int m_afterLastTupleIndex
```
- Class org.semanticweb.HermiT.tableau.GroundDisjunction extends Object implements Serializable
  
  serialVersionUID:
  
  6245673952732442673L
  - Serialized Fields
    - m_groundDisjunctionHeader
```
GroundDisjunctionHeader m_groundDisjunctionHeader
```
    - m_arguments
```
Node[] m_arguments
```
    - m_isCore
```
boolean[] m_isCore
```
    - m_dependencySet
```
PermanentDependencySet m_dependencySet
```
    - m_previousGroundDisjunction
```
GroundDisjunction m_previousGroundDisjunction
```
    - m_nextGroundDisjunction
```
GroundDisjunction m_nextGroundDisjunction
```
- Class org.semanticweb.HermiT.tableau.HyperresolutionManager extends Object implements Serializable
  
  serialVersionUID:
  
  -4880817508962130189L
  - Serialized Fields
    - m_extensionManager
```
ExtensionManager m_extensionManager
```
    - m_deltaOldRetrievals
```
ExtensionTable.Retrieval[] m_deltaOldRetrievals
```
    - m_binaryTableRetrieval
```
ExtensionTable.Retrieval m_binaryTableRetrieval
```
    - m_tupleConsumersByDeltaPredicate
```
Map<K,V> m_tupleConsumersByDeltaPredicate
```
    - m_atomicRoleTupleConsumersUnguarded
```
Map<K,V> m_atomicRoleTupleConsumersUnguarded
```
    - m_atomicRoleTupleConsumersByGuardConcept1
```
Map<K,V> m_atomicRoleTupleConsumersByGuardConcept1
```
    - m_atomicRoleTupleConsumersByGuardConcept2
```
Map<K,V> m_atomicRoleTupleConsumersByGuardConcept2
```
    - m_buffersToClear
```
Object[][] m_buffersToClear
```
    - m_unionDependencySetsToClear
```
org.semanticweb.HermiT.tableau.UnionDependencySet[] m_unionDependencySetsToClear
```
    - m_valuesBuffer
```
Object[] m_valuesBuffer
```
    - m_maxNumberOfVariables
```
int m_maxNumberOfVariables
```
- Class org.semanticweb.HermiT.tableau.InterruptFlag extends Object implements Serializable
  
  serialVersionUID:
  
  -6983680374511847003L
  - Serialized Fields
    - m_interruptTimer
```
org.semanticweb.HermiT.tableau.InterruptFlag.InterruptTimer m_interruptTimer
```
    - m_interruptType
```
org.semanticweb.HermiT.tableau.InterruptFlag.InterruptType m_interruptType
```
- Class org.semanticweb.HermiT.tableau.MergingManager extends Object implements Serializable
  
  serialVersionUID:
  
  -8404748898127176927L
  - Serialized Fields
    - m_tableau
```
Tableau m_tableau
```
    - m_tableauMonitor
```
TableauMonitor m_tableauMonitor
```
    - m_extensionManager
```
ExtensionManager m_extensionManager
```
    - m_binaryExtensionTableSearch1Bound
```
ExtensionTable.Retrieval m_binaryExtensionTableSearch1Bound
```
    - m_ternaryExtensionTableSearch1Bound
```
ExtensionTable.Retrieval m_ternaryExtensionTableSearch1Bound
```
    - m_ternaryExtensionTableSearch2Bound
```
ExtensionTable.Retrieval m_ternaryExtensionTableSearch2Bound
```
    - m_binaryAuxiliaryTuple
```
Object[] m_binaryAuxiliaryTuple
```
    - m_ternaryAuxiliaryTuple
```
Object[] m_ternaryAuxiliaryTuple
```
    - m_binaryUnionDependencySet
```
org.semanticweb.HermiT.tableau.UnionDependencySet m_binaryUnionDependencySet
```
- Class org.semanticweb.HermiT.tableau.Node extends Object implements Serializable
  
  serialVersionUID:
  
  -2549229429321484690L
  - Serialized Fields
    - m_tableau
```
Tableau m_tableau
```
    - m_nodeID
```
int m_nodeID
```
    - m_nodeState
```
org.semanticweb.HermiT.tableau.Node.NodeState m_nodeState
```
    - m_parent
```
Node m_parent
```
    - m_nodeType
```
NodeType m_nodeType
```
    - m_treeDepth
```
int m_treeDepth
```
    - m_numberOfPositiveAtomicConcepts
```
int m_numberOfPositiveAtomicConcepts
```
    - m_numberOfNegatedAtomicConcepts
```
int m_numberOfNegatedAtomicConcepts
```
    - m_numberOfNegatedRoleAssertions
```
int m_numberOfNegatedRoleAssertions
```
    - m_unprocessedExistentials
```
List<E> m_unprocessedExistentials
```
    - m_previousTableauNode
```
Node m_previousTableauNode
```
    - m_nextTableauNode
```
Node m_nextTableauNode
```
    - m_previousMergedOrPrunedNode
```
Node m_previousMergedOrPrunedNode
```
    - m_mergedInto
```
Node m_mergedInto
```
    - m_mergedIntoDependencySet
```
PermanentDependencySet m_mergedIntoDependencySet
```
    - m_blocker
```
Node m_blocker
```
    - m_directlyBlocked
```
boolean m_directlyBlocked
```
    - m_blockingObject
```
Object m_blockingObject
```
    - m_blockingCargo
```
Object m_blockingCargo
```
    - m_firstGraphOccurrenceNode
```
int m_firstGraphOccurrenceNode
```
- Class org.semanticweb.HermiT.tableau.NominalIntroductionManager.NominalIntroductionBranchingPoint extends BranchingPoint implements Serializable
  
  serialVersionUID:
  
  6678113479704184263L
  - Serialized Fields
    - m_rootNode
```
Node m_rootNode
```
    - m_niTargetNode
```
Node m_niTargetNode
```
    - m_otherNode
```
Node m_otherNode
```
    - m_annotatedEquality
```
AnnotatedEquality m_annotatedEquality
```
    - m_currentRootNode
```
int m_currentRootNode
```
- Class org.semanticweb.HermiT.tableau.PermanentDependencySet extends Object implements Serializable
  
  serialVersionUID:
  
  353039301123337446L
  - Serialized Fields
    - m_rest
```
PermanentDependencySet m_rest
```
    - m_branchingPoint
```
int m_branchingPoint
```
    - m_nextEntry
```
PermanentDependencySet m_nextEntry
```
    - m_usageCounter
```
int m_usageCounter
```
    - m_previousUnusedSet
```
PermanentDependencySet m_previousUnusedSet
```
    - m_nextUnusedSet
```
PermanentDependencySet m_nextUnusedSet
```
- Class org.semanticweb.HermiT.tableau.Tableau extends Object implements Serializable
  
  serialVersionUID:
  
  -28982363158925221L
  - Serialized Fields
    - m_interruptFlag
```
InterruptFlag m_interruptFlag
```
    - m_parameters
```
Map<K,V> m_parameters
```
    - m_tableauMonitor
```
TableauMonitor m_tableauMonitor
```
    - m_existentialExpansionStrategy
```
ExistentialExpansionStrategy m_existentialExpansionStrategy
```
    - m_permanentDLOntology
```
DLOntology m_permanentDLOntology
```
    - m_additionalDLOntology
```
DLOntology m_additionalDLOntology
```
    - m_dependencySetFactory
```
DependencySetFactory m_dependencySetFactory
```
    - m_extensionManager
```
ExtensionManager m_extensionManager
```
    - m_clashManager
```
ClashManager m_clashManager
```
    - m_permanentHyperresolutionManager
```
HyperresolutionManager m_permanentHyperresolutionManager
```
    - m_additionalHyperresolutionManager
```
HyperresolutionManager m_additionalHyperresolutionManager
```
    - m_mergingManager
```
MergingManager m_mergingManager
```
    - m_existentialExpasionManager
```
ExistentialExpansionManager m_existentialExpasionManager
```
    - m_nominalIntroductionManager
```
org.semanticweb.HermiT.tableau.NominalIntroductionManager m_nominalIntroductionManager
```
    - m_descriptionGraphManager
```
DescriptionGraphManager m_descriptionGraphManager
```
    - m_datatypeManager
```
DatatypeManager m_datatypeManager
```
    - m_existentialConceptsBuffers
```
List<E> m_existentialConceptsBuffers
```
    - m_useDisjunctionLearning
```
boolean m_useDisjunctionLearning
```
    - m_hasDescriptionGraphs
```
boolean m_hasDescriptionGraphs
```
    - m_branchingPoints
```
BranchingPoint[] m_branchingPoints
```
    - m_currentBranchingPoint
```
int m_currentBranchingPoint
```
    - m_nonbacktrackableBranchingPoint
```
int m_nonbacktrackableBranchingPoint
```
    - m_isCurrentModelDeterministic
```
boolean m_isCurrentModelDeterministic
```
    - m_needsThingExtension
```
boolean m_needsThingExtension
```
    - m_needsNamedExtension
```
boolean m_needsNamedExtension
```
    - m_needsRDFSLiteralExtension
```
boolean m_needsRDFSLiteralExtension
```
    - m_checkDatatypes
```
boolean m_checkDatatypes
```
    - m_checkUnknownDatatypeRestrictions
```
boolean m_checkUnknownDatatypeRestrictions
```
    - m_allocatedNodes
```
int m_allocatedNodes
```
    - m_numberOfNodesInTableau
```
int m_numberOfNodesInTableau
```
    - m_numberOfMergedOrPrunedNodes
```
int m_numberOfMergedOrPrunedNodes
```
    - m_numberOfNodeCreations
```
int m_numberOfNodeCreations
```
    - m_firstFreeNode
```
Node m_firstFreeNode
```
    - m_firstTableauNode
```
Node m_firstTableauNode
```
    - m_lastTableauNode
```
Node m_lastTableauNode
```
    - m_lastMergedOrPrunedNode
```
Node m_lastMergedOrPrunedNode
```
    - m_firstGroundDisjunction
```
GroundDisjunction m_firstGroundDisjunction
```
    - m_firstUnprocessedGroundDisjunction
```
GroundDisjunction m_firstUnprocessedGroundDisjunction
```
- Class org.semanticweb.HermiT.tableau.TupleIndex.TrieNodeManager extends Object implements Serializable
  
  serialVersionUID:
  
  -1978070096232682717L
  - Serialized Fields
    - m_indexPages
```
int[][] m_indexPages
```
    - m_objectPages
```
Object[][] m_objectPages
```
    - m_firstFreeTrieNode
```
int m_firstFreeTrieNode
```
    - m_numberOfPages
```
int m_numberOfPages
```
- Class org.semanticweb.HermiT.tableau.TupleIndex.TupleIndexRetrieval extends Object implements Serializable
  
  serialVersionUID:
  
  3052986474027614595L
  - Serialized Fields
    - m_tupleIndex
```
org.semanticweb.HermiT.tableau.TupleIndex m_tupleIndex
```
    - m_bindingsBuffer
```
Object[] m_bindingsBuffer
```
    - m_selectionIndices
```
int[] m_selectionIndices
```
    - m_selectionIndicesLength
```
int m_selectionIndicesLength
```
    - m_indexingSequenceLength
```
int m_indexingSequenceLength
```
    - m_currentTrieNode
```
int m_currentTrieNode
```
- Class org.semanticweb.HermiT.tableau.TupleTable extends Object implements Serializable
  
  serialVersionUID:
  
  -7712458276004062803L
  - Serialized Fields
    - m_arity
```
int m_arity
```
    - m_pages
```
org.semanticweb.HermiT.tableau.TupleTable.Page[] m_pages
```
    - m_numberOfPages
```
int m_numberOfPages
```
    - m_tupleCapacity
```
int m_tupleCapacity
```
    - m_firstFreeTupleIndex
```
int m_firstFreeTupleIndex
```
- Class org.semanticweb.HermiT.tableau.TupleTable.Page extends Object implements Serializable
  
  serialVersionUID:
  
  2239482172592108644L
  - Serialized Fields
    - m_arity
```
int m_arity
```
    - m_objects
```
Object[] m_objects
```
- Class org.semanticweb.HermiT.tableau.TupleTableFullIndex.EntryManager extends Object implements Serializable
  
  serialVersionUID:
  
  -7562640774004213308L
  - Serialized Fields
    - m_entries
```
int[] m_entries
```
    - m_firstFreeEntry
```
int m_firstFreeEntry
```
Package rationals.converters
- Class rationals.converters.ConverterException extends Exception implements Serializable

Serialized Form

Package org.semanticweb.HermiT

Class org.semanticweb.HermiT.Configuration extends Object implements Serializable

Serialized Fields

warningMonitor

reasonerProgressMonitor

tableauMonitorType

directBlockingType

blockingStrategyType

blockingSignatureCacheType

existentialStrategyType

ignoreUnsupportedDatatypes

monitor

parameters

individualTaskTimeout

individualNodeSetPolicy

freshEntityPolicy

useDisjunctionLearning

bufferChanges

throwInconsistentOntologyException

prepareReasonerInferences

forceQuasiOrderClassification

Class org.semanticweb.HermiT.Prefixes extends Object implements Serializable

Serialized Fields

m_prefixIRIsByPrefixName

m_prefixNamesByPrefixIRI

m_prefixIRIMatchingPattern

Class org.semanticweb.HermiT.Prefixes.ImmutablePrefixes extends Prefixes implements Serializable

Package org.semanticweb.HermiT.blocking

Class org.semanticweb.HermiT.blocking.AncestorBlocking extends Object implements Serializable

Serialized Fields

m_directBlockingChecker

m_blockingSignatureCache

m_tableau

m_useBlockingSignatureCache

Class org.semanticweb.HermiT.blocking.AnywhereBlocking extends Object implements Serializable

Serialized Fields

m_directBlockingChecker

m_currentBlockersCache

m_blockingSignatureCache

m_tableau

m_useBlockingSignatureCache

m_firstChangedNode

Class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking.ComputeCoreVariables extends Object implements Serializable

Serialized Fields

m_valuesBuffer

m_coreVariables

Class org.semanticweb.HermiT.blocking.BlockersCache.CacheEntry extends Object implements Serializable

Serialized Fields

m_node

m_hashCode

m_nextEntry

Class org.semanticweb.HermiT.blocking.BlockingSignatureCache extends Object implements Serializable

Serialized Fields

m_directBlockingChecker

m_buckets

m_numberOfElements

m_threshold

Class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker extends Object implements Serializable

Serialized Fields

m_atomicConceptsSetFactory

m_atomicRolesSetFactory

m_atomicConceptsBuffer

m_atomicRolesBuffer

m_binaryTableSearch1Bound

m_ternaryTableSearch12Bound

Class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker.PairWiseBlockingObject extends Object implements Serializable

Serialized Fields

m_node

m_hasChanged

m_atomicConceptsLabel

m_atomicConceptsLabelHashCode

m_fromParentLabel

m_fromParentLabelHashCode

m_toParentLabel

m_toParentLabelHashCode

Class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker.PairWiseBlockingSignature extends BlockingSignature implements Serializable

Serialized Fields

m_atomicConceptLabel

m_parentAtomicConceptLabel