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>

public class EqualsRefiner
extends AbstractPartialInterpretationRefiner<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

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)