CPXgetconflictext

For an infeasible model, if the infeasibility has been analysed by 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 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.

A pointer to the CPLEX environment as returned by the routine CPXopenCPLEX.

A pointer to a CPLEX problem object as returned by CPXcreateprob.

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.

The index of the first group defined at the most recent call to CPXrefineconflictext for which the conflict status will be returned.

The index of the last group defined at the most recent call to CPXrefineconflictext for which the conflict status will be returned.

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

CPXgetconflictext

Parameters:

Returns:

env	A pointer to the CPLEX environment as returned by the routine `CPXopenCPLEX`.
lp	A pointer to a CPLEX problem object as returned by `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 `CPXrefineconflictext` for which the conflict status will be returned.
end	The index of the last group defined at the most recent call to `CPXrefineconflictext` for which the conflict status will be returned.