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>
  • Constructor Details

  • Method Details

    • concretizationInProgress

      protected boolean concretizationInProgress()