Package tools.refinery.store.reasoning
Interface ReasoningBuilder
- All Superinterfaces:
ModelAdapterBuilder
- All Known Implementing Classes:
ReasoningBuilderImpl
-
Method Summary
Modifier and TypeMethodDescriptionbuild
(ModelStore store) 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) default ReasoningBuilder
objectives
(Collection<Objective> objectives) default ReasoningBuilder
objectives
(Objective... objectives) partialSymbol
(AnyPartialSymbolTranslator translator) requiredInterpretations
(Collection<Concreteness> requiredInterpretations) default ReasoningBuilder
requiredInterpretations
(Concreteness... requiredInterpretations) <T> ReasoningBuilder
storageRefiner
(Symbol<T> symbol, StorageRefiner.Factory<T> refiner) Methods inherited from interface tools.refinery.store.adapter.ModelAdapterBuilder
configure, isConfigured
-
Method Details
-
requiredInterpretations
-
requiredInterpretations
-
partialSymbol
-
storageRefiner
-
initializer
-
objective
-
objectives
-
objectives
-
lift
-
lift
-
lift
-
lift
-
build
- Specified by:
build
in interfaceModelAdapterBuilder
-