Serialized Form
Package org.semanticweb.HermiT |
serialVersionUID: 7741510316249774519L
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
directBlockingType
Configuration.DirectBlockingType directBlockingType
blockingStrategyType
Configuration.BlockingStrategyType blockingStrategyType
blockingSignatureCacheType
Configuration.BlockingSignatureCacheType blockingSignatureCacheType
existentialStrategyType
Configuration.ExistentialStrategyType existentialStrategyType
checkClauses
boolean checkClauses
- HermiT checks whether all clauses are safe. Non-safe clauses might cause problems in HermiT (non-termination), but
sometimes one might want to play with non-safe rules or such like.
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
java.util.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
freshEntityPolicy
org.semanticweb.owlapi.reasoner.FreshEntityPolicy freshEntityPolicy
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 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
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.
serialVersionUID: -158185482289831766L
m_prefixIRIsByPrefixName
java.util.Map<K,V> m_prefixIRIsByPrefixName
m_prefixNamesByPrefixIRI
java.util.Map<K,V> m_prefixNamesByPrefixIRI
m_prefixIRIMatchingPattern
java.util.regex.Pattern m_prefixIRIMatchingPattern
serialVersionUID: 8517988865445255837L
Package org.semanticweb.HermiT.blocking |
serialVersionUID: 1075850000309773283L
m_directBlockingChecker
DirectBlockingChecker m_directBlockingChecker
m_blockingSignatureCache
BlockingSignatureCache m_blockingSignatureCache
m_tableau
Tableau m_tableau
m_useBlockingSignatureCache
boolean m_useBlockingSignatureCache
serialVersionUID: -2959900333817197464L
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
serialVersionUID: 899293772370136783L
m_dlClause
DLClause m_dlClause
m_variables
java.util.List<E> m_variables
m_valuesBuffer
java.lang.Object[] m_valuesBuffer
m_coreVariables
boolean[] m_coreVariables
serialVersionUID: -7047487963170250200L
m_node
Node m_node
m_hashCode
int m_hashCode
m_nextEntry
BlockersCache.CacheEntry m_nextEntry
serialVersionUID: -7692825443489644667L
m_directBlockingChecker
DirectBlockingChecker m_directBlockingChecker
m_buckets
BlockingSignature[] m_buckets
m_numberOfElements
int m_numberOfElements
m_threshold
int m_threshold
serialVersionUID: -8296420442452625109L
m_atomicConceptsSetFactory
SetFactory<E> m_atomicConceptsSetFactory
m_atomicRolesSetFactory
SetFactory<E> m_atomicRolesSetFactory
m_atomicConceptsBuffer
java.util.List<E> m_atomicConceptsBuffer
m_atomicRolesBuffer
java.util.List<E> m_atomicRolesBuffer
m_tableau
Tableau m_tableau
m_binaryTableSearch1Bound
ExtensionTable.Retrieval m_binaryTableSearch1Bound
m_ternaryTableSearch12Bound
ExtensionTable.Retrieval m_ternaryTableSearch12Bound
serialVersionUID: -5439737072100509531L
m_node
Node m_node
m_hasChanged
boolean m_hasChanged
m_atomicConceptsLabel
java.util.Set<E> m_atomicConceptsLabel
m_atomicConceptsLabelHashCode
int m_atomicConceptsLabelHashCode
m_fromParentLabel
java.util.Set<E> m_fromParentLabel
m_fromParentLabelHashCode
int m_fromParentLabelHashCode
m_toParentLabel
java.util.Set<E> m_toParentLabel
m_toParentLabelHashCode
int m_toParentLabelHashCode
serialVersionUID: 4697990424058632618L
m_atomicConceptLabel
java.util.Set<E> m_atomicConceptLabel
m_parentAtomicConceptLabel
java.util.Set<E> m_parentAtomicConceptLabel
m_fromParentLabel
java.util.Set<E> m_fromParentLabel
m_toParentLabel
java.util.Set<E> m_toParentLabel
m_hashCode
int m_hashCode
serialVersionUID: 7071071962187693657L
m_unusedEntries
SetFactory.Entry<T>[] m_unusedEntries
m_entries
SetFactory.Entry<T>[] m_entries
m_size
int m_size
m_resizeThreshold
int m_resizeThreshold
serialVersionUID: -3850593656120645350L
m_table
java.lang.Object[] m_table
m_hashCode
int m_hashCode
m_previousEntry
SetFactory.Entry<T> m_previousEntry
m_nextEntry
SetFactory.Entry<T> m_nextEntry
m_referenceCount
int m_referenceCount
m_permanent
boolean m_permanent
serialVersionUID: 9093753046859877016L
m_atomicConceptsSetFactory
SetFactory<E> m_atomicConceptsSetFactory
m_atomicConceptsBuffer
java.util.List<E> m_atomicConceptsBuffer
m_tableau
Tableau m_tableau
m_binaryTableSearch1Bound
ExtensionTable.Retrieval m_binaryTableSearch1Bound
serialVersionUID: -5439737072100509531L
m_node
Node m_node
m_hasChanged
boolean m_hasChanged
m_atomicConceptsLabel
java.util.Set<E> m_atomicConceptsLabel
m_atomicConceptsLabelHashCode
int m_atomicConceptsLabelHashCode
serialVersionUID: -7349489846772132258L
m_atomicConceptsLabel
java.util.Set<E> m_atomicConceptsLabel
serialVersionUID: -7047487963170250200L
m_nodes
java.util.List<E> m_nodes
m_hashCode
int m_hashCode
m_nextEntry
ValidatedBlockersCache.CacheEntry m_nextEntry
serialVersionUID: 9093753046859877016L
m_atomicConceptsSetFactory
SetFactory<E> m_atomicConceptsSetFactory
m_atomicRolesSetFactory
SetFactory<E> m_atomicRolesSetFactory
m_atomicConceptsBuffer
java.util.List<E> m_atomicConceptsBuffer
m_atomicRolesBuffer
java.util.List<E> m_atomicRolesBuffer
m_hasInverses
boolean m_hasInverses
m_tableau
Tableau m_tableau
m_binaryTableSearch1Bound
ExtensionTable.Retrieval m_binaryTableSearch1Bound
m_ternaryTableSearch12Bound
ExtensionTable.Retrieval m_ternaryTableSearch12Bound
serialVersionUID: 9093753046859877016L
m_atomicConceptsSetFactory
SetFactory<E> m_atomicConceptsSetFactory
m_atomicRolesSetFactory
SetFactory<E> m_atomicRolesSetFactory
m_atomicConceptsBuffer
java.util.List<E> m_atomicConceptsBuffer
m_atomicRolesBuffer
java.util.List<E> m_atomicRolesBuffer
m_hasInverses
boolean m_hasInverses
m_tableau
Tableau m_tableau
m_binaryTableSearch1Bound
ExtensionTable.Retrieval m_binaryTableSearch1Bound
m_ternaryTableSearch12Bound
ExtensionTable.Retrieval m_ternaryTableSearch12Bound
Package org.semanticweb.HermiT.cli |
Package org.semanticweb.HermiT.datatypes |
Package org.semanticweb.HermiT.datatypes.owlreal |
serialVersionUID: 3883936594384307950L
m_numerator
java.math.BigInteger m_numerator
m_denominator
java.math.BigInteger m_denominator
serialVersionUID: -205551124673073593L
readResolve
protected java.lang.Object readResolve()
serialVersionUID: -205551124673073593L
readResolve
protected java.lang.Object readResolve()
Package org.semanticweb.HermiT.debugger |
m_writer
ConsoleTextArea.ConsoleWriter m_writer
m_reader
ConsoleTextArea.ConsoleReader m_reader
m_userTypedTextStart
int m_userTypedTextStart
serialVersionUID: -1061073966460686069L
m_commandsByName
java.util.Map<K,V> m_commandsByName
m_prefixes
Prefixes m_prefixes
m_derivationHistory
DerivationHistory m_derivationHistory
m_consoleTextArea
ConsoleTextArea m_consoleTextArea
m_mainFrame
javax.swing.JFrame m_mainFrame
m_output
java.io.PrintWriter m_output
m_input
java.io.BufferedReader m_input
m_waitOptions
java.util.Set<E> m_waitOptions
m_nodeCreationInfos
java.util.Map<K,V> m_nodeCreationInfos
m_lastExistentialNode
Node m_lastExistentialNode
m_lastExistentialConcept
ExistentialConcept m_lastExistentialConcept
m_tableau
Tableau m_tableau
m_lastCommand
java.lang.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
serialVersionUID: -3963478091986772947L
m_derivedAtoms
java.util.Map<K,V> m_derivedAtoms
m_derivedDisjunctions
java.util.Map<K,V> m_derivedDisjunctions
m_derivations
java.util.Stack<E> m_derivations
m_mergeAtoms
java.util.Stack<E> m_mergeAtoms
serialVersionUID: -6136317748590721560L
m_tuple
java.lang.Object[] m_tuple
m_derivedBy
DerivationHistory.Derivation m_derivedBy
serialVersionUID: 1409033744982881556L
m_tuple
java.lang.Object[] m_tuple
m_hashCode
int m_hashCode
serialVersionUID: -5998349862414502218L
serialVersionUID: -1046733682276190587L
m_causes
DerivationHistory.Atom[] m_causes
serialVersionUID: -7833124370362424190L
m_causes
DerivationHistory.Atom[] m_causes
serialVersionUID: 6657356873675430986L
m_disjunction
DerivationHistory.Disjunction m_disjunction
m_disjunctIndex
int m_disjunctIndex
serialVersionUID: -6645342875287836609L
m_atoms
java.lang.Object[][] m_atoms
m_derivedBy
DerivationHistory.Derivation m_derivedBy
serialVersionUID: 5841561027229354512L
m_dlClause
DLClause m_dlClause
m_premises
DerivationHistory.Atom[] m_premises
serialVersionUID: -1266097745277870260L
m_existentialAtom
DerivationHistory.Atom m_existentialAtom
serialVersionUID: -3671522413313454739L
m_graph1
DerivationHistory.Atom m_graph1
m_position1
int m_position1
m_graph2
DerivationHistory.Atom m_graph2
m_position2
int m_position2
serialVersionUID: 6815119442652251306L
m_equality
DerivationHistory.Atom m_equality
m_fromAtom
DerivationHistory.Atom m_fromAtom
serialVersionUID: -7824360133765453948L
m_causes
DerivationHistory.Atom[] m_causes
m_prefixes
Prefixes m_prefixes
m_derivationTreeTreeModel
DerivationViewer.DerivationTreeTreeModel m_derivationTreeTreeModel
m_derivationTree
javax.swing.JTree m_derivationTree
serialVersionUID: 9210217812084186766L
m_eventListeners
javax.swing.event.EventListenerList m_eventListeners
m_root
DerivationHistory.Fact m_root
serialVersionUID: 2955881594360729470L
m_background
java.awt.Color m_background
m_foreground
java.awt.Color m_foreground
m_text
java.lang.String m_text
m_font
java.awt.Font m_font
Package org.semanticweb.HermiT.debugger.commands |
m_debugger
Debugger m_debugger
m_subtreeTreeModel
SubtreeViewer.SubtreeTreeModel m_subtreeTreeModel
m_nodeInfoTextArea
javax.swing.JTextArea m_nodeInfoTextArea
m_tableauTree
javax.swing.JTree m_tableauTree
m_nodeIDField
javax.swing.JTextField m_nodeIDField
m_debugger
Debugger m_debugger
Package org.semanticweb.HermiT.existentials |
serialVersionUID: 2831957929321676444L
m_blockingStrategy
BlockingStrategy m_blockingStrategy
m_expandNodeAtATime
boolean m_expandNodeAtATime
m_processedExistentials
java.util.List<E> m_processedExistentials
m_auxiliaryNodes1
java.util.List<E> m_auxiliaryNodes1
m_auxiliaryNodes2
java.util.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
serialVersionUID: -64673639237063636L
serialVersionUID: -7373787507623860081L
m_isDeterministic
boolean m_isDeterministic
m_reusedNodes
java.util.Map<K,V> m_reusedNodes
m_doReuseConceptsAlways
java.util.Set<E> m_doReuseConceptsAlways
m_dontReuseConceptsThisRun
java.util.Set<E> m_dontReuseConceptsThisRun
m_dontReuseConceptsEver
java.util.Set<E> m_dontReuseConceptsEver
m_reuseBacktrackingTable
TupleTable m_reuseBacktrackingTable
m_auxiliaryBuffer
java.lang.Object[] m_auxiliaryBuffer
m_indicesByBranchingPoint
int[] m_indicesByBranchingPoint
serialVersionUID: -5715836252258022216L
m_existential
AtLeastConcept m_existential
m_node
Node m_node
m_wasParentReuse
boolean m_wasParentReuse
serialVersionUID: 427963701900451471L
m_node
Node m_node
m_branchingPoint
int m_branchingPoint
Package org.semanticweb.HermiT.graph |
serialVersionUID: 5372948202031042380L
m_elements
java.util.Set<E> m_elements
m_successorsByNodes
java.util.Map<K,V> m_successorsByNodes
Package org.semanticweb.HermiT.model |
serialVersionUID: 7197886700065386931L
readResolve
protected java.lang.Object readResolve()
m_cardinality
int m_cardinality
m_onRole
Role m_onRole
m_toConcept
LiteralConcept m_toConcept
serialVersionUID: -5450065396132818872L
m_number
int m_number
m_onRole
Role m_onRole
serialVersionUID: 4326267535193393030L
readResolve
protected java.lang.Object readResolve()
m_toConcept
LiteralConcept m_toConcept
serialVersionUID: 4326267535193393030L
readResolve
protected java.lang.Object readResolve()
m_toDataRange
LiteralDataRange m_toDataRange
serialVersionUID: 7884900540178779422L
readResolve
protected java.lang.Object readResolve()
m_dlPredicate
DLPredicate m_dlPredicate
m_arguments
Term[] m_arguments
serialVersionUID: -1078274072706143620L
readResolve
protected java.lang.Object readResolve()
m_iri
java.lang.String m_iri
serialVersionUID: 8843660377807760406L
serialVersionUID: -4635386233266966577L
readResolve
protected java.lang.Object readResolve()
m_negatedAtomicConcept
AtomicConcept m_negatedAtomicConcept
readResolve
protected java.lang.Object readResolve()
m_negatedDataRange
AtomicDataRange m_negatedDataRange
serialVersionUID: 3766087788313643809L
readResolve
protected java.lang.Object readResolve()
m_iri
java.lang.String m_iri
serialVersionUID: -8685976675539160944L
serialVersionUID: -8143911431654640690L
readResolve
protected java.lang.Object readResolve()
m_lexicalForm
java.lang.String m_lexicalForm
m_datatypeURI
java.lang.String m_datatypeURI
m_dataValue
java.lang.Object m_dataValue
serialVersionUID: 4663162424764302912L
readResolve
protected java.lang.Object readResolve()
m_constants
Constant[] m_constants
serialVersionUID: 352467050584766830L
serialVersionUID: 524235536504588458L
readResolve
protected java.lang.Object readResolve()
m_datatypeURI
java.lang.String m_datatypeURI
m_facetURIs
java.lang.String[] m_facetURIs
m_facetValues
Constant[] m_facetValues
serialVersionUID: -6098910060520673164L
m_name
java.lang.String m_name
m_atomicConceptsByVertices
AtomicConcept[] m_atomicConceptsByVertices
m_edges
DescriptionGraph.Edge[] m_edges
m_startConcepts
java.util.Set<E> m_startConcepts
serialVersionUID: -2407275128459101707L
m_atomicRole
AtomicRole m_atomicRole
m_fromVertex
int m_fromVertex
m_toVertex
int m_toVertex
serialVersionUID: -4513910129515151732L
m_isKnownToBeAdmissible
boolean m_isKnownToBeAdmissible
m_headAtoms
Atom[] m_headAtoms
m_bodyAtoms
Atom[] m_bodyAtoms
m_clauseType
DLClause.ClauseType m_clauseType
serialVersionUID: 3189937959595369812L
m_ontologyIRI
java.lang.String m_ontologyIRI
m_dlClauses
java.util.Set<E> m_dlClauses
m_positiveFacts
java.util.Set<E> m_positiveFacts
m_negativeFacts
java.util.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
java.util.Set<E> m_allAtomicConcepts
m_numberOfExternalConcepts
int m_numberOfExternalConcepts
m_allAtomicObjectRoles
java.util.Set<E> m_allAtomicObjectRoles
m_allComplexObjectRoles
java.util.Set<E> m_allComplexObjectRoles
m_allAtomicDataRoles
java.util.Set<E> m_allAtomicDataRoles
m_allUnknownDatatypeRestrictions
java.util.Set<E> m_allUnknownDatatypeRestrictions
m_definedDatatypeIRIs
java.util.Set<E> m_definedDatatypeIRIs
m_allIndividuals
java.util.Set<E> m_allIndividuals
m_allDescriptionGraphs
java.util.Set<E> m_allDescriptionGraphs
m_dataPropertyAssertions
java.util.Map<K,V> m_dataPropertyAssertions
serialVersionUID: 2386841732225838685L
readResolve
protected java.lang.Object readResolve()
serialVersionUID: 3483541702854959793L
readResolve
protected java.lang.Object readResolve()
serialVersionUID: 2386841732225838685L
readResolve
protected java.lang.Object readResolve()
serialVersionUID: 8308051741088513244L
readResolve
protected java.lang.Object readResolve()
serialVersionUID: -1578295401143709109L
serialVersionUID: 7433430510725260994L
readResolve
protected java.lang.Object readResolve()
m_descriptionGraph
DescriptionGraph m_descriptionGraph
m_vertex
int m_vertex
serialVersionUID: 2791684055390160959L
readResolve
protected java.lang.Object readResolve()
m_uri
java.lang.String m_uri
serialVersionUID: 296924110684230279L
readResolve
protected java.lang.Object readResolve()
serialVersionUID: -1078274072706143620L
readResolve
protected java.lang.Object readResolve()
m_iri
java.lang.String m_iri
serialVersionUID: 3351701933728011998L
readResolve
protected java.lang.Object readResolve()
m_inverseOf
AtomicRole m_inverseOf
serialVersionUID: -2302452747339289424L
serialVersionUID: -2302452747339289424L
serialVersionUID: 5572346926189452451L
readResolve
protected java.lang.Object readResolve()
serialVersionUID: 7197886700065386931L
readResolve
protected java.lang.Object readResolve()
m_arity
int m_arity
serialVersionUID: -6487260817445541931L
serialVersionUID: -8524194708579485033L
serialVersionUID: -1943457771102512887L
readResolve
protected java.lang.Object readResolve()
m_name
java.lang.String m_name
Package org.semanticweb.HermiT.monitor |
serialVersionUID: -8144444618897251350L
m_problemStartTime
long m_problemStartTime
m_validationStartTime
long m_validationStartTime
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_testRecords
java.util.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_overallInitialModelSize
int m_overallInitialModelSize
m_overallInitiallyBlocked
int m_overallInitiallyBlocked
m_overallInitiallyInvalid
int m_overallInitiallyInvalid
m_overallNoValidations
int m_overallNoValidations
m_overallValidationTime
long m_overallValidationTime
serialVersionUID: -3815493500625020183L
m_testTime
long m_testTime
m_testDescription
java.lang.String m_testDescription
m_testResult
boolean m_testResult
serialVersionUID: -483824095933491230L
m_binaryTableMem
int m_binaryTableMem
m_ternaryTableMem
int m_ternaryTableMem
m_dependencySetsMem
int m_dependencySetsMem
m_sumBinaryTableMem
int m_sumBinaryTableMem
m_sumTernaryTableMem
int m_sumTernaryTableMem
m_sumDependencySetsMem
int m_sumDependencySetsMem
m_maxMem
int m_maxMem
m_testNumber
int m_testNumber
serialVersionUID: 6336033031431260208L
m_tableau
Tableau m_tableau
serialVersionUID: 8321902665477431455L
m_first
TableauMonitor m_first
m_second
TableauMonitor m_second
serialVersionUID: -371801782567741632L
m_forwardingTargetMonitor
TableauMonitor m_forwardingTargetMonitor
m_forwardingOn
boolean m_forwardingOn
serialVersionUID: -8144444618897251350L
readResolve
protected java.lang.Object readResolve()
m_problemStartTime
long m_problemStartTime
m_lastStatusTime
long m_lastStatusTime
m_numberOfBacktrackings
int m_numberOfBacktrackings
m_testNumber
int m_testNumber
serialVersionUID: -9176603965017225734L
m_in
java.io.BufferedReader m_in
Package org.semanticweb.HermiT.tableau |
serialVersionUID: 7306881534568051692L
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
serialVersionUID: 3533809151139695892L
m_extensionManager
ExtensionManager m_extensionManager
m_ternaryExtensionTableSearch01Bound
ExtensionTable.Retrieval m_ternaryExtensionTableSearch01Bound
m_tableauMonitor
TableauMonitor m_tableauMonitor
m_binaryAuxiliaryTuple
java.lang.Object[] m_binaryAuxiliaryTuple
m_ternaryAuxiliaryTuple
java.lang.Object[] m_ternaryAuxiliaryTuple
m_binaryUnionDependencySet
UnionDependencySet m_binaryUnionDependencySet
serialVersionUID: -5304869484553471737L
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
java.util.List<E> m_auxiliaryVariableList
m_unionDependencySet
UnionDependencySet m_unionDependencySet
m_newVariableAdded
boolean[] m_newVariableAdded
m_unknownDatatypeRestrictionsPermanent
java.util.Set<E> m_unknownDatatypeRestrictionsPermanent
m_unknownDatatypeRestrictionsAdditional
java.util.Set<E> m_unknownDatatypeRestrictionsAdditional
serialVersionUID: 3597740301361593691L
m_unusedVariables
java.util.List<E> m_unusedVariables
m_usedVariables
java.util.List<E> m_usedVariables
m_activeVariables
java.util.List<E> m_activeVariables
m_buckets
DatatypeManager.DVariable[] m_buckets
m_numberOfEntries
int m_numberOfEntries
m_resizeThreshold
int m_resizeThreshold
serialVersionUID: -2490195841140286089L
m_positiveConstantEnumerations
java.util.List<E> m_positiveConstantEnumerations
m_negativeConstantEnumerations
java.util.List<E> m_negativeConstantEnumerations
m_positiveDatatypeRestrictions
java.util.List<E> m_positiveDatatypeRestrictions
m_negativeDatatypeRestrictions
java.util.List<E> m_negativeDatatypeRestrictions
m_unequalTo
java.util.List<E> m_unequalTo
m_unequalToDirect
java.util.List<E> m_unequalToDirect
m_forbiddenDataValues
java.util.List<E> m_forbiddenDataValues
m_explicitDataValues
java.util.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
java.lang.Object m_dataValue
serialVersionUID: 8838838641444833249L
serialVersionUID: 8632867055646817311L
m_mergeArray
DependencySetFactory.IntegerArray m_mergeArray
m_mergeSets
java.util.List<E> m_mergeSets
m_unprocessedSets
java.util.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
serialVersionUID: 7070190530381846058L
m_elements
int[] m_elements
m_size
int m_size
serialVersionUID: 4536271856850424712L
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
DescriptionGraphManager.OccurrenceManager m_occurrenceManager
m_descriptionGraphIndices
java.util.Map<K,V> m_descriptionGraphIndices
m_descriptionGraphsByIndex
DescriptionGraph[] m_descriptionGraphsByIndex
m_extensionTablesByIndex
ExtensionTable[] m_extensionTablesByIndex
m_auxiliaryTuples1
java.lang.Object[][] m_auxiliaryTuples1
m_auxiliaryTuples2
java.lang.Object[][] m_auxiliaryTuples2
m_newNodes
java.util.List<E> m_newNodes
m_binaryUnionDependencySet
UnionDependencySet m_binaryUnionDependencySet
m_deltaOldRetrievals
ExtensionTable.Retrieval[] m_deltaOldRetrievals
serialVersionUID: 7594355731105478918L
m_nodePages
int[][] m_nodePages
m_firstFreeListNode
int m_firstFreeListNode
m_numberOfPages
int m_numberOfPages
serialVersionUID: -8855083430836162354L
m_groundDisjunction
GroundDisjunction m_groundDisjunction
m_sortedDisjunctIndexes
int[] m_sortedDisjunctIndexes
m_currentIndex
int m_currentIndex
serialVersionUID: 4639844159658590456L
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
java.util.List<E> m_headDLClauses
serialVersionUID: -1880147431680856293L
m_notEqualProgramCounter
int m_notEqualProgramCounter
m_buffer
java.lang.Object[] m_buffer
m_index1
int m_index1
m_index2
int m_index2
serialVersionUID: 2484359261424674914L
m_notLessProgramCounter
int m_notLessProgramCounter
m_buffer
java.lang.Object[] m_buffer
m_index1
int m_index1
m_index2
int m_index2
serialVersionUID: 8053779312249250349L
m_branchProgramCounter
int m_branchProgramCounter
m_buffer
java.lang.Object[] m_buffer
m_nodeIndexes
int[] m_nodeIndexes
serialVersionUID: 1046400921858176361L
m_tableauMonitor
TableauMonitor m_tableauMonitor
m_dlClauseEvaluator
DLClauseEvaluator m_dlClauseEvaluator
m_dlClauseIndex
int m_dlClauseIndex
serialVersionUID: 8736659573939242252L
m_tableauMonitor
TableauMonitor m_tableauMonitor
m_dlClauseEvaluator
DLClauseEvaluator m_dlClauseEvaluator
m_dlClauseIndex
int m_dlClauseIndex
serialVersionUID: 705172386083123813L
m_retrieval
ExtensionTable.Retrieval m_retrieval
m_targetDependencySets
DependencySet[] m_targetDependencySets
m_targetIndex
int m_targetIndex
serialVersionUID: -4323769483485648756L
m_fromBuffer
java.lang.Object[] m_fromBuffer
m_fromIndex
int m_fromIndex
m_toBuffer
java.lang.Object[] m_toBuffer
m_toIndex
int m_toIndex
serialVersionUID: 1823363493615682288L
m_extensionManager
ExtensionManager m_extensionManager
m_valuesBuffer
java.lang.Object[] m_valuesBuffer
m_dependencySet
DependencySet m_dependencySet
m_dlPredicate
DLPredicate m_dlPredicate
m_argumentIndex1
int m_argumentIndex1
m_argumentIndex2
int m_argumentIndex2
serialVersionUID: -3546622575743138887L
m_tableau
Tableau m_tableau
m_valuesBuffer
java.lang.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
serialVersionUID: 1823363493615682288L
m_extensionManager
ExtensionManager m_extensionManager
m_valuesBuffer
java.lang.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
serialVersionUID: 7883620022252842010L
m_extensionManager
ExtensionManager m_extensionManager
m_valuesBuffer
java.lang.Object[] m_valuesBuffer
m_coreVariables
boolean[] m_coreVariables
m_dependencySet
DependencySet m_dependencySet
m_dlPredicate
DLPredicate m_dlPredicate
m_argumentIndex
int m_argumentIndex
serialVersionUID: -2415094151423166585L
m_eofProgramCounter
int m_eofProgramCounter
m_retrieval
ExtensionTable.Retrieval m_retrieval
serialVersionUID: -6957866973028474739L
m_jumpTo
int m_jumpTo
serialVersionUID: -2787897558147109082L
m_retrieval
ExtensionTable.Retrieval m_retrieval
serialVersionUID: 8246610603084803950L
m_retrieval
ExtensionTable.Retrieval m_retrieval
serialVersionUID: -4981087765064918953L
m_extensionManager
ExtensionManager m_extensionManager
m_dependencySet
DependencySet m_dependencySet
serialVersionUID: 4794168582297181623L
m_tableau
Tableau m_tableau
m_extensionManager
ExtensionManager m_extensionManager
m_expandedExistentials
TupleTable m_expandedExistentials
m_auxiliaryTuple
java.lang.Object[] m_auxiliaryTuple
m_auxiliaryNodes
java.util.List<E> m_auxiliaryNodes
m_ternaryExtensionTableSearch01Bound
ExtensionTable.Retrieval m_ternaryExtensionTableSearch01Bound
m_ternaryExtensionTableSearch02Bound
ExtensionTable.Retrieval m_ternaryExtensionTableSearch02Bound
m_functionalRoles
java.util.Map<K,V> m_functionalRoles
m_binaryUnionDependencySet
UnionDependencySet m_binaryUnionDependencySet
m_indicesByBranchingPoint
int[] m_indicesByBranchingPoint
serialVersionUID: 5900300914631070591L
m_tableau
Tableau m_tableau
m_tableauMonitor
TableauMonitor m_tableauMonitor
m_dependencySetFactory
DependencySetFactory m_dependencySetFactory
m_extensionTablesByArity
java.util.Map<K,V> m_extensionTablesByArity
m_allExtensionTablesArray
ExtensionTable[] m_allExtensionTablesArray
m_binaryExtensionTable
ExtensionTable m_binaryExtensionTable
m_ternaryExtensionTable
ExtensionTable m_ternaryExtensionTable
m_binaryAuxiliaryTupleContains
java.lang.Object[] m_binaryAuxiliaryTupleContains
m_binaryAuxiliaryTupleAdd
java.lang.Object[] m_binaryAuxiliaryTupleAdd
m_ternaryAuxiliaryTupleContains
java.lang.Object[] m_ternaryAuxiliaryTupleContains
m_ternaryAuxiliaryTupleAdd
java.lang.Object[] m_ternaryAuxiliaryTupleAdd
m_fouraryAuxiliaryTupleContains
java.lang.Object[] m_fouraryAuxiliaryTupleContains
m_fouraryAuxiliaryTupleAdd
java.lang.Object[] m_fouraryAuxiliaryTupleAdd
m_clashDependencySet
PermanentDependencySet m_clashDependencySet
m_addActive
boolean m_addActive
serialVersionUID: -5029938218056017193L
m_tableau
Tableau m_tableau
m_tableauMonitor
TableauMonitor m_tableauMonitor
m_tupleArity
int m_tupleArity
m_tupleTable
TupleTable m_tupleTable
m_dependencySetManager
ExtensionTable.DependencySetManager m_dependencySetManager
m_coreManager
ExtensionTable.CoreManager m_coreManager
m_afterExtensionOldTupleIndex
int m_afterExtensionOldTupleIndex
m_afterExtensionThisTupleIndex
int m_afterExtensionThisTupleIndex
m_afterDeltaNewTupleIndex
int m_afterDeltaNewTupleIndex
m_indicesByBranchingPoint
int[] m_indicesByBranchingPoint
serialVersionUID: 7982627098607954806L
m_dependencySetFactory
DependencySetFactory m_dependencySetFactory
serialVersionUID: -8097612469749016470L
m_dependencySetFactory
DependencySetFactory m_dependencySetFactory
serialVersionUID: 3252994135060928432L
serialVersionUID: 3276377301185845284L
m_bits
int[] m_bits
serialVersionUID: 6395072458663267969L
m_extensionView
ExtensionTable.View m_extensionView
m_bindingPositions
int[] m_bindingPositions
m_bindingsBuffer
java.lang.Object[] m_bindingsBuffer
m_tupleBuffer
java.lang.Object[] m_tupleBuffer
m_ownsBuffers
boolean m_ownsBuffers
m_checkTupleSelection
boolean m_checkTupleSelection
m_currentTupleIndex
int m_currentTupleIndex
m_afterLastTupleIndex
int m_afterLastTupleIndex
serialVersionUID: 2856811178050960058L
m_tupleTableFullIndex
TupleTableFullIndex m_tupleTableFullIndex
m_auxiliaryTuple
java.lang.Object[] m_auxiliaryTuple
serialVersionUID: 5984560476970027366L
m_bindingPositions
int[] m_bindingPositions
m_bindingsBuffer
java.lang.Object[] m_bindingsBuffer
m_tupleBuffer
java.lang.Object[] m_tupleBuffer
m_ownsBuffers
boolean m_ownsBuffers
m_extensionView
ExtensionTable.View m_extensionView
m_currentTupleIndex
int m_currentTupleIndex
serialVersionUID: -684536236157965372L
m_tupleIndexes
TupleIndex[] m_tupleIndexes
m_auxiliaryTuple
java.lang.Object[] m_auxiliaryTuple
serialVersionUID: 2180748099314801734L
m_bindingPositions
int[] m_bindingPositions
m_tupleBuffer
java.lang.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
serialVersionUID: 6245673952732442673L
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
serialVersionUID: -4880817508962130189L
m_extensionManager
ExtensionManager m_extensionManager
m_deltaOldRetrievals
ExtensionTable.Retrieval[] m_deltaOldRetrievals
m_binaryTableRetrieval
ExtensionTable.Retrieval m_binaryTableRetrieval
m_tupleConsumersByDeltaPredicate
java.util.Map<K,V> m_tupleConsumersByDeltaPredicate
m_atomicRoleTupleConsumersUnguarded
java.util.Map<K,V> m_atomicRoleTupleConsumersUnguarded
m_atomicRoleTupleConsumersByGuardConcept1
java.util.HashMap<K,V> m_atomicRoleTupleConsumersByGuardConcept1
m_atomicRoleTupleConsumersByGuardConcept2
java.util.HashMap<K,V> m_atomicRoleTupleConsumersByGuardConcept2
m_buffersToClear
java.lang.Object[][] m_buffersToClear
m_unionDependencySetsToClear
UnionDependencySet[] m_unionDependencySetsToClear
m_valuesBuffer
java.lang.Object[] m_valuesBuffer
m_maxNumberOfVariables
int m_maxNumberOfVariables
serialVersionUID: -6983680374511847003L
m_interruptTimer
InterruptFlag.InterruptTimer m_interruptTimer
m_interruptType
InterruptFlag.InterruptType m_interruptType
serialVersionUID: -8404748898127176927L
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
java.lang.Object[] m_binaryAuxiliaryTuple
m_ternaryAuxiliaryTuple
java.lang.Object[] m_ternaryAuxiliaryTuple
m_binaryUnionDependencySet
UnionDependencySet m_binaryUnionDependencySet
serialVersionUID: -2549229429321484690L
m_tableau
Tableau m_tableau
m_nodeID
int m_nodeID
m_nodeState
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
java.util.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
java.lang.Object m_blockingObject
m_blockingCargo
java.lang.Object m_blockingCargo
m_firstGraphOccurrenceNode
int m_firstGraphOccurrenceNode
serialVersionUID: 5863617010809297861L
m_tableau
Tableau m_tableau
m_dependencySetFactory
DependencySetFactory m_dependencySetFactory
m_interruptFlag
InterruptFlag m_interruptFlag
m_mergingManager
MergingManager m_mergingManager
m_annotatedEqualities
TupleTable m_annotatedEqualities
m_bufferForAnnotatedEquality
java.lang.Object[] m_bufferForAnnotatedEquality
m_newRootNodesTable
TupleTable m_newRootNodesTable
m_newRootNodesIndex
TupleTableFullIndex m_newRootNodesIndex
m_bufferForRootNodes
java.lang.Object[] m_bufferForRootNodes
m_indicesByBranchingPoint
int[] m_indicesByBranchingPoint
m_firstUnprocessedAnnotatedEquality
int m_firstUnprocessedAnnotatedEquality
serialVersionUID: 6678113479704184263L
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
serialVersionUID: 353039301123337446L
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
serialVersionUID: -28982363158925221L
m_interruptFlag
InterruptFlag m_interruptFlag
m_parameters
java.util.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
NominalIntroductionManager m_nominalIntroductionManager
m_descriptionGraphManager
DescriptionGraphManager m_descriptionGraphManager
m_datatypeManager
DatatypeManager m_datatypeManager
m_existentialConceptsBuffers
java.util.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
serialVersionUID: -4284072092430590904L
m_indexingSequence
int[] m_indexingSequence
m_trieNodeManager
TupleIndex.TrieNodeManager m_trieNodeManager
m_root
int m_root
m_buckets
int[] m_buckets
m_bucketsLengthMinusOne
int m_bucketsLengthMinusOne
m_resizeThreshold
int m_resizeThreshold
m_numberOfNodes
int m_numberOfNodes
serialVersionUID: -1978070096232682717L
m_indexPages
int[][] m_indexPages
m_objectPages
java.lang.Object[][] m_objectPages
m_firstFreeTrieNode
int m_firstFreeTrieNode
m_numberOfPages
int m_numberOfPages
serialVersionUID: 3052986474027614595L
m_tupleIndex
TupleIndex m_tupleIndex
m_bindingsBuffer
java.lang.Object[] m_bindingsBuffer
m_selectionIndices
int[] m_selectionIndices
m_selectionIndicesLength
int m_selectionIndicesLength
m_indexingSequenceLength
int m_indexingSequenceLength
m_currentTrieNode
int m_currentTrieNode
serialVersionUID: -7712458276004062803L
m_arity
int m_arity
m_pages
TupleTable.Page[] m_pages
m_numberOfPages
int m_numberOfPages
m_tupleCapacity
int m_tupleCapacity
m_firstFreeTupleIndex
int m_firstFreeTupleIndex
serialVersionUID: 2239482172592108644L
m_arity
int m_arity
m_objects
java.lang.Object[] m_objects
serialVersionUID: 5006873858554891684L
m_tupleTable
TupleTable m_tupleTable
m_indexedArity
int m_indexedArity
m_entryManager
TupleTableFullIndex.EntryManager m_entryManager
m_buckets
int[] m_buckets
m_resizeThreshold
int m_resizeThreshold
m_numberOfTuples
int m_numberOfTuples
serialVersionUID: -7562640774004213308L
m_entries
int[] m_entries
m_firstFreeEntry
int m_firstFreeEntry
serialVersionUID: 8296150535316233960L
m_numberOfConstituents
int m_numberOfConstituents
m_dependencySets
DependencySet[] m_dependencySets