SCIPvarHasBinaryImplic

scip_sys

Function SCIPvarHasBinaryImplic 

Source 
pub unsafe extern "C" fn SCIPvarHasBinaryImplic(
    var: *mut SCIP_VAR,
    varfixing: c_uint,
    implvar: *mut SCIP_VAR,
    implvarfixing: c_uint,
) -> c_uint
Expand description

returns whether there is an implication x == varfixing -> y == implvarfixing in the implication graph; implications that are represented as cliques in the clique table are not regarded (use SCIPvarsHaveCommonClique()); both variables must be active binary variables