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

Nested Classes

Modifier and Type	Class	Description
static class	AbstractPartialInterpretationRefiner.ConcretizationAware<A extends AbstractValue<A,C>, C>

Nested classes/interfaces inherited from interface PartialInterpretationRefiner

PartialInterpretationRefiner.Factory<A,C>

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractPartialInterpretationRefiner(ReasoningAdapter adapter, PartialSymbol<A,C> partialSymbol)

Method Summary

Modifier and Type	Method	Description
ReasoningAdapter	getAdapter()
PartialSymbol<A,C>	getPartialSymbol()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface AnyPartialInterpretationRefiner

afterCreate, afterInitialize

Methods inherited from interface PartialInterpretationRefiner

merge

Constructor Details

AbstractPartialInterpretationRefiner

protected AbstractPartialInterpretationRefiner(ReasoningAdapter adapter,
 PartialSymbol<A,C> partialSymbol)

Method Details

getAdapter

public ReasoningAdapter getAdapter()

Specified by:

getAdapter in interface AnyPartialInterpretationRefiner

getPartialSymbol

public PartialSymbol<A,C> getPartialSymbol()

Specified by:

getPartialSymbol in interface AnyPartialInterpretationRefiner

Specified by:

getPartialSymbol in interface PartialInterpretationRefiner<A extends AbstractValue<A,C>, C>