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

java.lang.Object
tools.refinery.store.reasoning.refinement.AbstractPartialInterpretationRefiner<A,C>
tools.refinery.store.reasoning.refinement.ConcreteSymbolRefiner<A,C>
All Implemented Interfaces:
AnyPartialInterpretationRefiner, PartialInterpretationRefiner<A,C>

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