Uses of Class
org.semanticweb.HermiT.tableau.ExtensionTable.View

Packages that use ExtensionTable.View
org.semanticweb.HermiT.tableau   
 

Uses of ExtensionTable.View in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as ExtensionTable.View
protected  ExtensionTable.View ExtensionTableWithTupleIndexes.IndexedRetrieval.m_extensionView
           
protected  ExtensionTable.View ExtensionTableWithFullIndex.IndexedRetrieval.m_extensionView
           
protected  ExtensionTable.View ExtensionTable.UnindexedRetrieval.m_extensionView
           
 

Methods in org.semanticweb.HermiT.tableau that return ExtensionTable.View
 ExtensionTable.View ExtensionTableWithTupleIndexes.IndexedRetrieval.getExtensionView()
           
 ExtensionTable.View ExtensionTableWithFullIndex.IndexedRetrieval.getExtensionView()
           
 ExtensionTable.View ExtensionTable.Retrieval.getExtensionView()
           
 ExtensionTable.View ExtensionTable.UnindexedRetrieval.getExtensionView()
           
static ExtensionTable.View ExtensionTable.View.valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static ExtensionTable.View[] ExtensionTable.View.values()
          Returns an array containing the constants of this enum type, in the order they are declared.
 

Methods in org.semanticweb.HermiT.tableau with parameters of type ExtensionTable.View
 ExtensionTable.Retrieval ExtensionTable.createRetrieval(boolean[] bindingPattern, ExtensionTable.View extensionView)
           
 ExtensionTable.Retrieval ExtensionTableWithTupleIndexes.createRetrieval(int[] bindingPositions, java.lang.Object[] bindingsBuffer, java.lang.Object[] tupleBuffer, boolean ownsBuffers, ExtensionTable.View extensionView)
           
 ExtensionTable.Retrieval ExtensionTableWithFullIndex.createRetrieval(int[] bindingPositions, java.lang.Object[] bindingsBuffer, java.lang.Object[] tupleBuffer, boolean ownsBuffers, ExtensionTable.View extensionView)
           
abstract  ExtensionTable.Retrieval ExtensionTable.createRetrieval(int[] bindingPositions, java.lang.Object[] bindingsBuffer, java.lang.Object[] tupleBuffer, boolean ownsBuffers, ExtensionTable.View extensionView)
           
 

Constructors in org.semanticweb.HermiT.tableau with parameters of type ExtensionTable.View
ExtensionTable.UnindexedRetrieval(int[] bindingPositions, java.lang.Object[] bindingsBuffer, java.lang.Object[] tupleBuffer, boolean ownsBuffers, ExtensionTable.View extensionView)
           
ExtensionTableWithFullIndex.IndexedRetrieval(int[] bindingPositions, java.lang.Object[] bindingsBuffer, java.lang.Object[] tupleBuffer, boolean ownsBuffers, ExtensionTable.View extensionView)
           
ExtensionTableWithTupleIndexes.IndexedRetrieval(TupleIndex tupleIndex, int[] bindingPositions, java.lang.Object[] bindingsBuffer, java.lang.Object[] tupleBuffer, boolean ownsBuffers, ExtensionTable.View extensionView)