Package tools.refinery.store.reasoning.translator.multiobject

Class ExistsRefiner

java.lang.Object

tools.refinery.store.reasoning.refinement.AbstractPartialInterpretationRefiner<TruthValue,Boolean>

tools.refinery.store.reasoning.translator.multiobject.ExistsRefiner

All Implemented Interfaces:

AnyPartialInterpretationRefiner, PartialInterpretationRefiner<TruthValue,Boolean>

public class ExistsRefiner
extends AbstractPartialInterpretationRefiner<TruthValue,Boolean>

Nested Class Summary

Nested classes/interfaces inherited from interface tools.refinery.store.reasoning.refinement.PartialInterpretationRefiner

PartialInterpretationRefiner.Factory<A extends AbstractValue<A,C>,C>

Method Summary

Modifier and Type	Method	Description
boolean	merge(Tuple key, TruthValue value)
static PartialInterpretationRefiner.Factory<TruthValue,Boolean>	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

Method Details

merge

public boolean merge(Tuple key,
 TruthValue value)

of

public static PartialInterpretationRefiner.Factory<TruthValue,Boolean> of(Symbol<CardinalityInterval> countSymbol)