Package tools.refinery.store.dse.propagation.impl.rule

Class RuleBasedPropagator

java.lang.Object

tools.refinery.store.dse.propagation.impl.rule.RuleBasedPropagator

All Implemented Interfaces:

Propagator

public class RuleBasedPropagator
extends Object
implements Propagator

Constructor Summary

Constructors

Constructor	Description
RuleBasedPropagator(List<Rule> propagationRules, List<Rule> concretizationRules)

Method Summary

Modifier and Type	Method	Description
BoundPropagator	bindToModel(Model model)
void	configure(ModelStoreBuilder storeBuilder)

Methods inherited from class java.lang.Object

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

Constructor Details

RuleBasedPropagator

public RuleBasedPropagator(List<Rule> propagationRules,
 List<Rule> concretizationRules)

Method Details

configure

public void configure(ModelStoreBuilder storeBuilder)

Specified by:

configure in interface Propagator

bindToModel

public BoundPropagator bindToModel(Model model)

Specified by:

bindToModel in interface Propagator