Package tools.refinery.store.reasoning.refinement

Interface StorageRefiner

All Known Implementing Classes:
DefaultStorageRefiner
public interface StorageRefiner

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static interface 
    StorageRefiner.Factory<T>
     

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    cleanup(int nodeToDelete)
     
    boolean
    split(int parentNode, int childNode)
     

  • Method Details

    • split

      boolean split(int parentNode, int childNode)

    • cleanup

      boolean cleanup(int nodeToDelete)