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)

Method Summary

Modifier and Type	Method	Description
PropagationResult	propagateOne()

Methods inherited from class java.lang.Object

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

Constructor Details

BoundRuleBasedPropagator

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

Method Details

propagateOne

public PropagationResult propagateOne()

Specified by:

propagateOne in interface BoundPropagator