Package tools.refinery.store.reasoning.refinement

Class ConcreteRelationRefiner

java.lang.Object

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

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

tools.refinery.store.reasoning.refinement.ConcreteRelationRefiner

All Implemented Interfaces:

AnyPartialInterpretationRefiner, PartialInterpretationRefiner<TruthValue,Boolean>

public class ConcreteRelationRefiner
extends AbstractPartialInterpretationRefiner.ConcretizationAware<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>

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ConcreteRelationRefiner(ReasoningAdapter adapter, PartialSymbol<TruthValue,Boolean> partialSymbol, Symbol<TruthValue> concreteSymbol, RoundingMode roundingMode)

Method Summary

Modifier and Type	Method	Description
protected TruthValue	concretizationAwareMeet(TruthValue currentValue, TruthValue value)
protected boolean	forbiddenByConcretization(TruthValue oldValue, TruthValue newValue)
protected TruthValue	get(Tuple key)
boolean	merge(Tuple key, TruthValue value)
static PartialInterpretationRefiner.Factory<TruthValue,Boolean>	of(Symbol<TruthValue> concreteSymbol, RoundingMode roundingMode)
protected TruthValue	put(Tuple key, TruthValue value)
protected boolean	shouldCheckConcretization(TruthValue oldValue, TruthValue newValue)

Methods inherited from class tools.refinery.store.reasoning.refinement.AbstractPartialInterpretationRefiner.ConcretizationAware

concretizationInProgress

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

Constructor Details

ConcreteRelationRefiner

protected ConcreteRelationRefiner(ReasoningAdapter adapter,
 PartialSymbol<TruthValue,Boolean> partialSymbol,
 Symbol<TruthValue> concreteSymbol,
 RoundingMode roundingMode)

Method Details

merge

public boolean merge(Tuple key,
 TruthValue value)

concretizationAwareMeet

protected TruthValue concretizationAwareMeet(TruthValue currentValue,
 TruthValue value)

forbiddenByConcretization

protected boolean forbiddenByConcretization(TruthValue oldValue,
 TruthValue newValue)

shouldCheckConcretization

protected boolean shouldCheckConcretization(TruthValue oldValue,
 TruthValue newValue)

get

protected TruthValue get(Tuple key)

put

protected TruthValue put(Tuple key,
 TruthValue value)

of

public static PartialInterpretationRefiner.Factory<TruthValue,Boolean> of(Symbol<TruthValue> concreteSymbol,
 RoundingMode roundingMode)