Class RefinementUtils
java.lang.Object
tools.refinery.store.reasoning.refinement.RefinementUtils
-
Method Summary
Modifier and TypeMethodDescriptionstatic <A extends AbstractValue<A,
C>, C>
PartialInterpretationRefiner<A,C>[] getRefiners
(ReasoningAdapter adapter, Set<? extends PartialSymbol<A, C>> relations) static <A extends AbstractValue<A,
C>, C>
booleanmergeAll
(PartialInterpretationRefiner<A, C>[] refiners, Tuple key, A value) static <A extends AbstractValue<A,
C>, C>
voidrefineFromSeed
(PartialInterpretationRefiner<A, C> refiner, ModelSeed modelSeed)
-
Method Details
-
refineFromSeed
public static <A extends AbstractValue<A,C>, void refineFromSeedC> (PartialInterpretationRefiner<A, C> refiner, ModelSeed modelSeed) -
mergeAll
public static <A extends AbstractValue<A,C>, boolean mergeAllC> (PartialInterpretationRefiner<A, C>[] refiners, Tuple key, A value) -
getRefiners
public static <A extends AbstractValue<A,C>, PartialInterpretationRefiner<A,C> C>[] getRefiners(ReasoningAdapter adapter, Set<? extends PartialSymbol<A, C>> relations)
-