Package tools.refinery.store.dse.transition

Class ExclusionPropagator

java.lang.Object

tools.refinery.store.dse.transition.ExclusionPropagator

All Implemented Interfaces:

Propagator

public class ExclusionPropagator
extends Object
implements Propagator

Constructor Summary

Constructors

Constructor	Description
ExclusionPropagator()

Method Summary

Modifier and Type	Method	Description
BoundPropagator	bindToModel(Model model)

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.Propagator

configure

Constructor Details

ExclusionPropagator

public ExclusionPropagator()

Method Details

bindToModel

public BoundPropagator bindToModel(Model model)

Specified by:

bindToModel in interface Propagator