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 interface tools.refinery.store.reasoning.refinement.PartialInterpretationRefiner
PartialInterpretationRefiner.Factory<A extends AbstractValue<A,
C>, C> -
Constructor Summary
ModifierConstructorDescriptionprotected
OppositeRefiner
(ReasoningAdapter adapter, PartialSymbol<A, C> partialSymbol, PartialSymbol<A, C> oppositeSymbol) -
Method Summary
Modifier and TypeMethodDescriptionboolean
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, afterInitialize
-
Constructor Details
-
OppositeRefiner
protected OppositeRefiner(ReasoningAdapter adapter, PartialSymbol<A, C> partialSymbol, PartialSymbol<A, C> oppositeSymbol)
-
-
Method Details
-
merge
-
of
public static <A1 extends AbstractValue<A1,C1>, PartialInterpretationRefiner.Factory<A1,C1> C1> of(PartialSymbol<A1, C1> oppositeSymbol)
-