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
  • Constructor Details

    • DefaultStorageRefiner

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