Package tools.refinery.store.dse.propagation

Interface PropagationBuilder

All Superinterfaces:

ModelAdapterBuilder

All Known Implementing Classes:

PropagationBuilderImpl

public interface PropagationBuilder
extends ModelAdapterBuilder

Method Summary

Modifier and Type	Method	Description
PropagationStoreAdapter	build(ModelStore store)
PropagationBuilder	concretizationRule(Rule concretizationRule)
default PropagationBuilder	concretizationRules(Collection<Rule> concretizationRules)
default PropagationBuilder	concretizationRules(Rule... concretizationRules)
PropagationBuilder	propagator(Propagator propagator)
PropagationBuilder	rule(Rule propagationRule)
default PropagationBuilder	rules(Collection<Rule> propagationRules)
default PropagationBuilder	rules(Rule... propagationRules)
PropagationBuilder	throwOnFatalRejection(boolean throwOnFatalRejection)

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

configure, isConfigured

Method Details

rule

PropagationBuilder rule(Rule propagationRule)

rules

default PropagationBuilder rules(Rule... propagationRules)

rules

default PropagationBuilder rules(Collection<Rule> propagationRules)

concretizationRule

PropagationBuilder concretizationRule(Rule concretizationRule)

concretizationRules

default PropagationBuilder concretizationRules(Rule... concretizationRules)

concretizationRules

default PropagationBuilder concretizationRules(Collection<Rule> concretizationRules)

propagator

PropagationBuilder propagator(Propagator propagator)

throwOnFatalRejection

PropagationBuilder throwOnFatalRejection(boolean throwOnFatalRejection)

build

PropagationStoreAdapter build(ModelStore store)

Specified by:

build in interface ModelAdapterBuilder