Class AbstractPartialInterpretationRefiner.ConcretizationAware<A extends AbstractValue<A,C>, C>

java.lang.Object

tools.refinery.store.reasoning.refinement.AbstractPartialInterpretationRefiner<A,C>

tools.refinery.store.reasoning.refinement.AbstractPartialInterpretationRefiner.ConcretizationAware<A,C>

All Implemented Interfaces:

AnyPartialInterpretationRefiner, PartialInterpretationRefiner<A,C>

Direct Known Subclasses:

ConcreteRelationRefiner, ExistsRefiner

Enclosing class:

AbstractPartialInterpretationRefiner<A extends AbstractValue<A,C>, C>

public abstract static class AbstractPartialInterpretationRefiner.ConcretizationAware<A extends AbstractValue<A,C>, C>
extends AbstractPartialInterpretationRefiner<A,C>

Nested Class Summary

Nested classes/interfaces inherited from class AbstractPartialInterpretationRefiner

AbstractPartialInterpretationRefiner.ConcretizationAware<A,C>

Nested classes/interfaces inherited from interface PartialInterpretationRefiner

PartialInterpretationRefiner.Factory<A,C>

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
protected boolean	concretizationInProgress()

Methods inherited from class AbstractPartialInterpretationRefiner

getAdapter, 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

ConcretizationAware

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

Method Details

concretizationInProgress

protected boolean concretizationInProgress()