Package tools.refinery.store.reasoning.internal

Class ReasoningBuilderImpl

java.lang.Object

tools.refinery.store.adapter.AbstractModelAdapterBuilder<ReasoningStoreAdapter>

tools.refinery.store.reasoning.internal.ReasoningBuilderImpl

All Implemented Interfaces:

ModelAdapterBuilder, ReasoningBuilder

public class ReasoningBuilderImpl
extends AbstractModelAdapterBuilder<ReasoningStoreAdapter>
implements ReasoningBuilder

Constructor Summary

Constructors

Constructor	Description
ReasoningBuilderImpl()

Method Summary

Modifier and Type	Method	Description
ReasoningStoreAdapter	doBuild(ModelStore store)
protected void	doConfigure(ModelStoreBuilder storeBuilder)
ReasoningBuilder	initializer(PartialModelInitializer initializer)
Dnf	lift(Modality modality, Concreteness concreteness, Dnf dnf)
<T> FunctionalQuery<T>	lift(Modality modality, Concreteness concreteness, FunctionalQuery<T> query)
<T> Query<T>	lift(Modality modality, Concreteness concreteness, Query<T> query)
RelationalQuery	lift(Modality modality, Concreteness concreteness, RelationalQuery query)
Dnf	lift(ModalitySpecification modality, ConcretenessSpecification concreteness, Dnf dnf)
<T> FunctionalQuery<T>	lift(ModalitySpecification modality, ConcretenessSpecification concreteness, FunctionalQuery<T> query)
<T> Query<T>	lift(ModalitySpecification modality, ConcretenessSpecification concreteness, Query<T> query)
RelationalQuery	lift(ModalitySpecification modality, ConcretenessSpecification concreteness, RelationalQuery query)
ReasoningBuilder	objective(Objective objective)
ReasoningBuilder	partialSymbol(AnyPartialSymbolTranslator translator)
ReasoningBuilder	requiredInterpretations(Collection<Concreteness> requiredInterpretations)
<T> ReasoningBuilder	storageRefiner(Symbol<T> symbol, StorageRefiner.Factory<T> refiner)

Methods inherited from class tools.refinery.store.adapter.AbstractModelAdapterBuilder

build, checkConfigured, checkNotConfigured, configure, isConfigured

Methods inherited from class java.lang.Object

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

Methods inherited from interface tools.refinery.store.adapter.ModelAdapterBuilder

configure, isConfigured

Methods inherited from interface tools.refinery.store.reasoning.ReasoningBuilder

build, objectives, objectives, requiredInterpretations

Constructor Details

ReasoningBuilderImpl

public ReasoningBuilderImpl()

Method Details

requiredInterpretations

public ReasoningBuilder requiredInterpretations(Collection<Concreteness> requiredInterpretations)

Specified by:

requiredInterpretations in interface ReasoningBuilder

partialSymbol

public ReasoningBuilder partialSymbol(AnyPartialSymbolTranslator translator)

Specified by:

partialSymbol in interface ReasoningBuilder

storageRefiner

public <T> ReasoningBuilder storageRefiner(Symbol<T> symbol,
 StorageRefiner.Factory<T> refiner)

Specified by:

storageRefiner in interface ReasoningBuilder

initializer

public ReasoningBuilder initializer(PartialModelInitializer initializer)

Specified by:

initializer in interface ReasoningBuilder

objective

public ReasoningBuilder objective(Objective objective)

Specified by:

objective in interface ReasoningBuilder

lift

public <T> Query<T> lift(Modality modality,
 Concreteness concreteness,
 Query<T> query)

Specified by:

lift in interface ReasoningBuilder

lift

public <T> Query<T> lift(ModalitySpecification modality,
 ConcretenessSpecification concreteness,
 Query<T> query)

Specified by:

lift in interface ReasoningBuilder

lift

public RelationalQuery lift(Modality modality,
 Concreteness concreteness,
 RelationalQuery query)

Specified by:

lift in interface ReasoningBuilder

lift

public RelationalQuery lift(ModalitySpecification modality,
 ConcretenessSpecification concreteness,
 RelationalQuery query)

Specified by:

lift in interface ReasoningBuilder

lift

public <T> FunctionalQuery<T> lift(Modality modality,
 Concreteness concreteness,
 FunctionalQuery<T> query)

Specified by:

lift in interface ReasoningBuilder

lift

public <T> FunctionalQuery<T> lift(ModalitySpecification modality,
 ConcretenessSpecification concreteness,
 FunctionalQuery<T> query)

Specified by:

lift in interface ReasoningBuilder

lift

public Dnf lift(Modality modality,
 Concreteness concreteness,
 Dnf dnf)

Specified by:

lift in interface ReasoningBuilder

lift

public Dnf lift(ModalitySpecification modality,
 ConcretenessSpecification concreteness,
 Dnf dnf)

Specified by:

lift in interface ReasoningBuilder

doConfigure

protected void doConfigure(ModelStoreBuilder storeBuilder)

Overrides:

doConfigure in class AbstractModelAdapterBuilder<ReasoningStoreAdapter>

doBuild

public ReasoningStoreAdapter doBuild(ModelStore store)

Specified by:

doBuild in class AbstractModelAdapterBuilder<ReasoningStoreAdapter>