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

Packages that use ExtensionTable.View

Package	Description
org.semanticweb.HermiT.tableau

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

Methods in org.semanticweb.HermiT.tableau that return ExtensionTable.View

Modifier and Type	Method and Description
ExtensionTable.View	ExtensionTable.Retrieval.getExtensionView()
static ExtensionTable.View	ExtensionTable.View.valueOf(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

Modifier and Type	Method and Description
ExtensionTable.Retrieval	ExtensionTable.createRetrieval(boolean[] bindingPattern, ExtensionTable.View extensionView)
abstract ExtensionTable.Retrieval	ExtensionTable.createRetrieval(int[] bindingPositions, Object[] bindingsBuffer, Object[] tupleBuffer, boolean ownsBuffers, ExtensionTable.View extensionView)
ExtensionTable.Retrieval	ExtensionTableWithFullIndex.createRetrieval(int[] bindingPositions, Object[] bindingsBuffer, Object[] tupleBuffer, boolean ownsBuffers, ExtensionTable.View extensionView)
ExtensionTable.Retrieval	ExtensionTableWithTupleIndexes.createRetrieval(int[] bindingPositions, Object[] bindingsBuffer, Object[] tupleBuffer, boolean ownsBuffers, ExtensionTable.View extensionView)