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>