SCIPvarHasImplic

scip_sys

Function SCIPvarHasImplic 

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

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