Class DefaultStorageRefiner<T>
java.lang.Object
tools.refinery.store.reasoning.refinement.DefaultStorageRefiner<T>
- All Implemented Interfaces:
StorageRefiner
-
Nested Class Summary
Nested classes/interfaces inherited from interface tools.refinery.store.reasoning.refinement.StorageRefiner
StorageRefiner.Factory<T>
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
cleanup
(int nodeToDelete) static <T> StorageRefiner.Factory
<T> factory()
boolean
split
(int parentNode, int childNode)
-
Constructor Details
-
DefaultStorageRefiner
-
-
Method Details
-
split
public boolean split(int parentNode, int childNode) - Specified by:
split
in interfaceStorageRefiner
-
cleanup
public boolean cleanup(int nodeToDelete) - Specified by:
cleanup
in interfaceStorageRefiner
-
factory
-