public class ConflictOrderingSearch<V extends Variable> extends AbstractStrategy<V> implements IMonitorContradiction
Modifier and Type | Field and Description |
---|---|
protected AbstractStrategy<V> |
mainStrategy
The main strategy declared in the solver
|
protected Model |
model
The target solver
|
protected Set<Variable> |
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) |
computeDecision, getVariables, makeIntDecision, toString
protected Model model
protected AbstractStrategy<V extends Variable> mainStrategy
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 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.