CPXXgetconflictext and CPXgetconflictext

For an infeasible problem, if the infeasibility has been analyzed by CPXXrefineconflictext/CPXrefineconflictext, this routine accesses information about the conflict computed by it.

int  CPXXgetconflictext( CPXCENVptr env, CPXCLPptr lp, int * grpstat, CPXNNZ beg, CPXNNZ end )

int  CPXgetconflictext( CPXCENVptr env, CPXCLPptr lp, int * grpstat, int beg, int end )

Description

For an infeasible problem, if the infeasibility has been analyzed by CPXXrefineconflictext/CPXrefineconflictext, this routine accesses information about the conflict computed by it. The conflict status codes of the groups numbered beg (for begin) through end in the most recent call to CPXXrefineconflictext/CPXrefineconflictext are returned.

Group Status

The conflict status for group beg+i will be returned in grpstat[i]. Possible values for the status of a group as returned in grpstat are the following:

  • CPX_CONFLICT_EXCLUDED if the group was proven to be not relevant to the conflict;
  • CPX_CONFLICT_POSSIBLE_MEMBER if the group may be relevant to the conflict but has not (yet) been proven so;
  • CPX_CONFLICT_MEMBER if the group has been proven to be relevant for the conflict.

Arguments

env
A pointer to the CPLEX environment as returned by the routine CPXXopenCPLEX/CPXopenCPLEX.
lp
A pointer to a CPLEX problem object as returned by CPXXcreateprob/CPXcreateprob.
grpstat
Pointer to an array where the values denoting the conflict status of the groups are returned. This array must have a length of at least end-beg+1.
beg
The index of the first group defined at the most recent call to CPXXrefineconflictext/CPXrefineconflictext for which the conflict status will be returned.
end
The index of the last group defined at the most recent call to CPXXrefineconflictext/CPXrefineconflictext for which the conflict status will be returned.

Return

The routine returns 0 (zero) if successful and nonzero if an error occurs.

Example


status = CPXgetconflictext (env, lp, grpstat, 0, ngrp-1);