Class ExistsRefiner

java.lang.Object

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

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

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

All Implemented Interfaces:

AnyPartialInterpretationRefiner, PartialInterpretationRefiner<TruthValue, Boolean>

public class ExistsRefiner
extends AbstractPartialInterpretationRefiner.ConcretizationAware<TruthValue, Boolean>

Nested Class Summary

Nested classes/interfaces inherited from class AbstractPartialInterpretationRefiner

AbstractPartialInterpretationRefiner.ConcretizationAware<A,C>

Nested classes/interfaces inherited from interface PartialInterpretationRefiner

PartialInterpretationRefiner.Factory<A,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 AbstractPartialInterpretationRefiner.ConcretizationAware

concretizationInProgress

Methods inherited from class AbstractPartialInterpretationRefiner

getAdapter, getPartialSymbol

Methods inherited from class Object

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

Methods inherited from interface AnyPartialInterpretationRefiner

afterCreate, afterInitialize

Method Details

merge

public boolean merge(Tuple key,
 TruthValue value)

of

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