Package tools.refinery.store.reasoning.refinement

Class RefinementUtils

java.lang.Object

tools.refinery.store.reasoning.refinement.RefinementUtils

public final class RefinementUtils
extends Object

Method Summary

Modifier and Type	Method	Description
static <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> boolean	mergeAll(PartialInterpretationRefiner<A,C>[] refiners, Tuple key, A value)
static <A extends AbstractValue<A, C>, C> void	refineFromSeed(PartialInterpretationRefiner<A,C> refiner, ModelSeed modelSeed)

Methods inherited from class java.lang.Object

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

Method Details

refineFromSeed

public static <A extends AbstractValue<A,
C>,
C>
void refineFromSeed(PartialInterpretationRefiner<A,C> refiner,
 ModelSeed modelSeed)

mergeAll

public static <A extends AbstractValue<A,
C>,
C>
boolean mergeAll(PartialInterpretationRefiner<A,C>[] refiners,
 Tuple key,
 A value)

getRefiners

public static <A extends AbstractValue<A,
C>,
C>
PartialInterpretationRefiner<A,C>[] getRefiners(ReasoningAdapter adapter,
 Set<? extends PartialSymbol<A,C>> relations)