scip_sys

Function SCIPwriteImplicationConflictGraph

Source 
pub unsafe extern "C" fn SCIPwriteImplicationConflictGraph(
    scip: *mut SCIP,
    filename: *const c_char,
) -> SCIP_RETCODE
Expand description

stores conflict graph of binary variables’ implications into a file, which can be used as input for the DOT tool

@return \ref SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See \ref SCIP_Retcode “SCIP_RETCODE” for a complete list of error codes.

@pre This method can be called if SCIP is in one of the following stages: - \ref SCIP_STAGE_TRANSFORMED - \ref SCIP_STAGE_INITPRESOLVE - \ref SCIP_STAGE_PRESOLVING - \ref SCIP_STAGE_EXITPRESOLVE - \ref SCIP_STAGE_PRESOLVED - \ref SCIP_STAGE_INITSOLVE - \ref SCIP_STAGE_SOLVING - \ref SCIP_STAGE_SOLVED - \ref SCIP_STAGE_EXITSOLVE

@deprecated because binary implications are now stored as cliques