Package tools.refinery.store.reasoning.refinement

Class DefaultStorageRefiner<T>

java.lang.Object

tools.refinery.store.reasoning.refinement.DefaultStorageRefiner<T>

All Implemented Interfaces:

StorageRefiner

public class DefaultStorageRefiner<T>
extends Object
implements StorageRefiner

Nested Class Summary

Nested classes/interfaces inherited from interface tools.refinery.store.reasoning.refinement.StorageRefiner

StorageRefiner.Factory<T>

Constructor Summary

Constructors

Constructor	Description
DefaultStorageRefiner(Symbol<T> symbol, Model model)

Method Summary

Modifier and Type	Method	Description
boolean	cleanup(int nodeToDelete)
static <T> StorageRefiner.Factory<T>	factory()
boolean	split(int parentNode, int childNode)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DefaultStorageRefiner

public DefaultStorageRefiner(Symbol<T> symbol,
 Model model)

Method Details

split

public boolean split(int parentNode,
 int childNode)

Specified by:

split in interface StorageRefiner

cleanup

public boolean cleanup(int nodeToDelete)

Specified by:

cleanup in interface StorageRefiner

factory

public static <T> StorageRefiner.Factory<T> factory()