public class PropagationTrigger extends Object
Constructor and Description |
---|
PropagationTrigger(IPropagationEngine engine,
Model model) |
Modifier and Type | Method and Description |
---|---|
void |
addAll(Propagator... propagators) |
void |
clear() |
void |
dynAdd(Propagator propagator,
boolean permanent) |
static void |
execute(Propagator toPropagate,
IPropagationEngine engine) |
boolean |
needToRun() |
void |
propagate()
Define a way to initialize the propagation engine.
|
void |
propagateOnBacktrack(Propagator propagator) |
void |
remove(Propagator propagator) |
public PropagationTrigger(IPropagationEngine engine, Model model)
public void addAll(Propagator... propagators)
public void propagateOnBacktrack(Propagator propagator)
public void dynAdd(Propagator propagator, boolean permanent)
public void remove(Propagator propagator)
public boolean needToRun()
public void clear()
public void propagate() throws ContradictionException
ContradictionException
- can throw a contradictionpublic static void execute(Propagator toPropagate, IPropagationEngine engine) throws ContradictionException
ContradictionException
Copyright © 2017. All rights reserved.