Package tools.refinery.store.reasoning

Interface ReasoningBuilder

All Superinterfaces:

ModelAdapterBuilder

All Known Implementing Classes:

ReasoningBuilderImpl

public interface ReasoningBuilder
extends ModelAdapterBuilder

Method Summary

Modifier and Type	Method	Description
ReasoningStoreAdapter	build(ModelStore store)
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)
default ReasoningBuilder	objectives(Collection<Objective> objectives)
default ReasoningBuilder	objectives(Objective... objectives)
ReasoningBuilder	partialSymbol(AnyPartialSymbolTranslator translator)
ReasoningBuilder	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

ReasoningBuilder requiredInterpretations(Collection<Concreteness> requiredInterpretations)

requiredInterpretations

default ReasoningBuilder requiredInterpretations(Concreteness... requiredInterpretations)

partialSymbol

ReasoningBuilder partialSymbol(AnyPartialSymbolTranslator translator)

storageRefiner

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

initializer

ReasoningBuilder initializer(PartialModelInitializer initializer)

objective

ReasoningBuilder objective(Objective objective)

objectives

default ReasoningBuilder objectives(Objective... objectives)

objectives

default ReasoningBuilder objectives(Collection<Objective> objectives)

lift

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

lift

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

lift

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

lift

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

lift

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

lift

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

lift

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

lift

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

build

ReasoningStoreAdapter build(ModelStore store)

Specified by:

build in interface ModelAdapterBuilder