Package tools.refinery.store.reasoning.translator.opposite

Class OppositeRefiner<A extends AbstractValue<A,C>,C>

java.lang.Object

tools.refinery.store.reasoning.refinement.AbstractPartialInterpretationRefiner<A,C>

tools.refinery.store.reasoning.translator.opposite.OppositeRefiner<A,C>

All Implemented Interfaces:

AnyPartialInterpretationRefiner, PartialInterpretationRefiner<A,C>

public class OppositeRefiner<A extends AbstractValue<A,C>,C>
extends AbstractPartialInterpretationRefiner<A,C>

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	OppositeRefiner(ReasoningAdapter adapter, PartialSymbol<A,C> partialSymbol, PartialSymbol<A,C> oppositeSymbol)

Method Summary

Modifier and Type	Method	Description
void	afterInitialize(ModelSeed modelSeed)	Execute propagations based on the contents of the modelSeed that would by executed if the modelSeed were written to the model as a sequence of PartialInterpretationRefiner.merge(Tuple, AbstractValue) calls.
boolean	merge(Tuple key, A value)
static <A1 extends AbstractValue<A1, C1>, C1> PartialInterpretationRefiner.Factory<A1,C1>	of(PartialSymbol<A1,C1> oppositeSymbol)

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

Constructor Details

OppositeRefiner

protected OppositeRefiner(ReasoningAdapter adapter,
 PartialSymbol<A,C> partialSymbol,
 PartialSymbol<A,C> oppositeSymbol)

Method Details

merge

public boolean merge(Tuple key,
 A value)

afterInitialize

public void afterInitialize(ModelSeed modelSeed)

Description copied from interface: AnyPartialInterpretationRefiner

Execute propagations based on the contents of the modelSeed that would by executed if the modelSeed were written to the model as a sequence of PartialInterpretationRefiner.merge(Tuple, AbstractValue) calls.

This method is called only after PartialModelInitializer.initialize(Model, ModelSeed) was called on all PartialModelInitializer instances registered to the ReasoningStoreAdapter.

The default implementation of this method performs no actions. Override it make the behavior consistent with your PartialInterpretationRefiner.merge(Tuple, AbstractValue) implementation.

Parameters:

modelSeed - The model seed which was written by a previous call of PartialModelInitializer.initialize(Model, ModelSeed).

of

public static <A1 extends AbstractValue<A1,
C1>,
C1>
PartialInterpretationRefiner.Factory<A1,C1> of(PartialSymbol<A1,C1> oppositeSymbol)