public class FailPerPropagator extends Object implements IMonitorContradiction
Modifier and Type | Field and Description |
---|---|
protected IntMap |
p2w
Map (propagator - weight), where weight is the number of times the propagator fails.
|
Constructor and Description |
---|
FailPerPropagator(Constraint[] constraints,
Model model)
Create an observer on propagators failures, based on the constraints in input
|
Modifier and Type | Method and Description |
---|---|
int |
getFails(Propagator p)
Gets, for a given propagator, the number of times it has failed during the resolution
|
void |
onContradiction(ContradictionException cex) |
protected IntMap p2w
public FailPerPropagator(Constraint[] constraints, Model model)
constraints
- set of constraints to observemodel
- the target modelpublic void onContradiction(ContradictionException cex)
onContradiction
in interface IMonitorContradiction
public int getFails(Propagator p)
p
- the propagator to evaluatep
has failed from the beginning of the resolutionCopyright © 2017. All rights reserved.