| Overview | Group | Tree | Graph | Deprecated | Index | Concepts |
Use this class with an infeasible model. It can be used to report a conflict for a infeasible problem.
| Method Summary | |
|---|---|
public void | attach(IloConstraint ct, IloNum pref) |
public void | attach(IloConstraintMap cts, IloNumMap prefs) |
public void | clearAttachements() |
public void | end() |
public void | excludeConflict() |
public void | first() |
public IloExtractable | getExtractable() const |
public IloInt | getStatus() |
public IloBool | hasNext() const |
public | IloOplConflictIterator(IloOplModel model) |
public void | next() |
public IloInt | printConflict(std::ostream & os) |
| Method Detail |
|---|
Creates the default conflict iterator.
IloCp#refineConflict()See Also:
| model |
The OPL model you want to determine conflicts for.
|
Attach a constraint ct to a value pref (for
preference). After some attachments have been done only the constraints with
attached preferences are taken into account for conflict refinement.
| ct |
An IloConstraint object for the constraint to attach a preference to.
|
| pref |
The preference value.
|
Attach a constraint map cts to a value map prefs
of preferences. After some attachments have been done, only the constraints
with attached preferences are taken into account for conflict refinement.
| cts |
An IloConstraintMap object holding the constraints to attach preferences to.
|
| prefs |
An IloNumMap object holding the preferences.
|
Clear all previously attached constraints.
Clears the memory used by this object
Excludes the current conflict and find next.
This allows to iterate more conflicts. The currently conflicting constraints will be excluded from next conflict refinement.
Goes to the first in conflict.
Returns the extractable in conflict.
IloExtractable in conflict. Returns the CPLEX status of the conflict.
Returns true, if there another conflict.
true if there is another relaxation. Goes to the next conflict.
Reports conflicting constraints and returns the number of conflicts found.