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
-
Method Summary
Modifier and TypeMethodDescriptiondoBuild
(ModelStore store) protected void
doConfigure
(ModelStoreBuilder storeBuilder) initializer
(PartialModelInitializer initializer) 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) lift
(Modality modality, Concreteness concreteness, RelationalQuery query) partialSymbol
(AnyPartialSymbolTranslator translator) 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
- Specified by:
requiredInterpretations
in interfaceReasoningBuilder
-
partialSymbol
- Specified by:
partialSymbol
in interfaceReasoningBuilder
-
storageRefiner
- Specified by:
storageRefiner
in interfaceReasoningBuilder
-
initializer
- Specified by:
initializer
in interfaceReasoningBuilder
-
objective
- Specified by:
objective
in interfaceReasoningBuilder
-
lift
- Specified by:
lift
in interfaceReasoningBuilder
-
lift
- Specified by:
lift
in interfaceReasoningBuilder
-
lift
public <T> FunctionalQuery<T> lift(Modality modality, Concreteness concreteness, FunctionalQuery<T> query) - Specified by:
lift
in interfaceReasoningBuilder
-
lift
- Specified by:
lift
in interfaceReasoningBuilder
-
doConfigure
- Overrides:
doConfigure
in classAbstractModelAdapterBuilder<ReasoningStoreAdapter>
-
doBuild
- Specified by:
doBuild
in classAbstractModelAdapterBuilder<ReasoningStoreAdapter>
-