Package tools.refinery.store.reasoning.refinement

package tools.refinery.store.reasoning.refinement

Related Packages

Package	Description
tools.refinery.store.reasoning

Class	Description
AbstractPartialInterpretationRefiner<A extends AbstractValue<A,C>,C>
AnyPartialInterpretationRefiner
ConcreteSymbolRefiner<A extends AbstractValue<A,C>,C>
DefaultStorageRefiner<T>
PartialInterpretationRefiner<A extends AbstractValue<A,C>,C>
PartialInterpretationRefiner.Factory<A extends AbstractValue<A,C>,C>
PartialModelInitializer
RefinementBasedInitializer<A extends AbstractValue<A,C>,C>
StorageRefiner
StorageRefiner.Factory<T>