Class EqualsRefiner
java.lang.Object
tools.refinery.store.reasoning.refinement.AbstractPartialInterpretationRefiner<TruthValue,Boolean>
tools.refinery.store.reasoning.translator.multiobject.EqualsRefiner
- All Implemented Interfaces:
AnyPartialInterpretationRefiner
,PartialInterpretationRefiner<TruthValue,
Boolean>
-
Nested Class Summary
Nested classes/interfaces inherited from class tools.refinery.store.reasoning.refinement.AbstractPartialInterpretationRefiner
AbstractPartialInterpretationRefiner.ConcretizationAware<A extends AbstractValue<A,
C>, C> Nested classes/interfaces inherited from interface tools.refinery.store.reasoning.refinement.PartialInterpretationRefiner
PartialInterpretationRefiner.Factory<A extends AbstractValue<A,
C>, C> -
Method Summary
Modifier and TypeMethodDescriptionboolean
merge
(Tuple key, TruthValue value) of
(Symbol<CardinalityInterval> countSymbol) Methods inherited from class tools.refinery.store.reasoning.refinement.AbstractPartialInterpretationRefiner
getAdapter, getPartialSymbol
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface tools.refinery.store.reasoning.refinement.AnyPartialInterpretationRefiner
afterCreate, afterInitialize
-
Method Details
-
merge
-
of
public static PartialInterpretationRefiner.Factory<TruthValue,Boolean> of(Symbol<CardinalityInterval> countSymbol)
-