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>

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)

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

Nested Class Summary