Class AbstractPartialInterpretationRefiner<A extends AbstractValue<A,C>,C>
java.lang.Object
tools.refinery.store.reasoning.refinement.AbstractPartialInterpretationRefiner<A,C>
- All Implemented Interfaces:
AnyPartialInterpretationRefiner
,PartialInterpretationRefiner<A,
C>
- Direct Known Subclasses:
AbstractPartialInterpretationRefiner.ConcretizationAware
,ConcreteSymbolRefiner
,EqualsRefiner
,OppositeRefiner
public abstract class AbstractPartialInterpretationRefiner<A extends AbstractValue<A,C>,C>
extends Object
implements PartialInterpretationRefiner<A,C>
-
Nested Class Summary
Modifier and TypeClassDescriptionstatic class
Nested classes/interfaces inherited from interface tools.refinery.store.reasoning.refinement.PartialInterpretationRefiner
PartialInterpretationRefiner.Factory<A extends AbstractValue<A,
C>, C> -
Constructor Summary
ModifierConstructorDescriptionprotected
AbstractPartialInterpretationRefiner
(ReasoningAdapter adapter, PartialSymbol<A, C> partialSymbol) -
Method Summary
Modifier and TypeMethodDescriptionMethods 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
Methods inherited from interface tools.refinery.store.reasoning.refinement.PartialInterpretationRefiner
merge
-
Constructor Details
-
AbstractPartialInterpretationRefiner
protected AbstractPartialInterpretationRefiner(ReasoningAdapter adapter, PartialSymbol<A, C> partialSymbol)
-
-
Method Details
-
getAdapter
- Specified by:
getAdapter
in interfaceAnyPartialInterpretationRefiner
-
getPartialSymbol
- Specified by:
getPartialSymbol
in interfaceAnyPartialInterpretationRefiner
- Specified by:
getPartialSymbol
in interfacePartialInterpretationRefiner<A extends AbstractValue<A,
C>, C>
-