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

Class BoundRuleBasedPropagator

java.lang.Object

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

All Implemented Interfaces:

BoundPropagator

public class BoundRuleBasedPropagator
extends Object
implements BoundPropagator

Constructor Summary

Constructors

Constructor	Description
BoundRuleBasedPropagator(Model model, List<Rule> propagationRules, List<Rule> concretizationRules)

Method Summary

Modifier and Type	Method	Description
boolean	concretizationRequested()
PropagationResult	concretizeOne()
PropagationResult	propagateOne()

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.dse.propagation.BoundPropagator

checkConcretization, propagateOne

Constructor Details

BoundRuleBasedPropagator

public BoundRuleBasedPropagator(Model model,
 List<Rule> propagationRules,
 List<Rule> concretizationRules)

Method Details

propagateOne

public PropagationResult propagateOne()

Specified by:

propagateOne in interface BoundPropagator

concretizationRequested

public boolean concretizationRequested()

Specified by:

concretizationRequested in interface BoundPropagator

concretizeOne

public PropagationResult concretizeOne()

Specified by:

concretizeOne in interface BoundPropagator