Overload List
| Name | Description | |
|---|---|---|
|
RefineConflict()()()() |
This method identifies a minimal conflict for the infeasibility of the
current model. Since the conflict is minimal, removal of any one of these
constraints will remove that particular cause for infeasibility. There may
be other conflicts in the model; consequently, repair of a given conflict
does not guarantee feasibility of the remaining model.
|
|
|
RefineConflict(array<IConstraint>[]()[][]) |
This method identifies a minimal conflict for the infeasibility of a subset
of the constraints of the current model. Since the conflict is minimal, removal
of any one of these constraints will remove that particular cause for infeasibility.
There may be other conflicts in the model; consequently, repair of a given conflict
does not guarantee feasibility of the remaining model.
|
|
|
RefineConflict(array<IConstraint>[]()[][], array<Double>[]()[][]) |
This method identifies a minimal conflict for the infeasibility of a subset
of the constraints of the current model. Since the conflict is minimal, removal
of any one of these constraints will remove that particular cause for infeasibility.
There may be other conflicts in the model; consequently, repair of a given conflict
does not guarantee feasibility of the remaining model.
|
