public class ConflictOrderingSearch<V extends Variable> extends AbstractStrategy<V> implements IMonitorContradiction
Modifier and Type | Field and Description |
---|---|
protected Model |
model
The target solver
|
protected Set<V> |
scope |
Constructor and Description |
---|
ConflictOrderingSearch(Model model,
AbstractStrategy<V> mainStrategy)
Creates a conflict-ordering search
|
Modifier and Type | Method and Description |
---|---|
Decision<V> |
getDecision()
Provides access to the current decision in the strategy.
|
boolean |
init()
Prepare
this to be used in a search loop
The initialization can detect inconsistency, in that case, it returns false |
void |
onContradiction(ContradictionException cex) |
void |
remove()
Remove the current strategy.
|
computeDecision, getVariables, makeIntDecision, toString
protected Model model
public ConflictOrderingSearch(Model model, AbstractStrategy<V> mainStrategy)
model
- the solver to attach this tomainStrategy
- the main strategy declaredpublic boolean init()
AbstractStrategy
this
to be used in a search loop
The initialization can detect inconsistency, in that case, it returns falseinit
in class AbstractStrategy<V extends Variable>
public void remove()
AbstractStrategy
remove
in class AbstractStrategy<V extends Variable>
public Decision<V> getDecision()
AbstractStrategy
null
.getDecision
in class AbstractStrategy<V extends Variable>
public void onContradiction(ContradictionException cex)
onContradiction
in interface IMonitorContradiction
Copyright © 2018. All rights reserved.