Function scip_sys::SCIPvarsHaveCommonClique

pub unsafe extern "C" fn SCIPvarsHaveCommonClique(
    var1: *mut SCIP_VAR,
    value1: c_uint,
    var2: *mut SCIP_VAR,
    value2: c_uint,
    regardimplics: c_uint
) -> c_uint

returns whether there is a clique that contains both given variable/value pairs; the variables must be active binary variables; if regardimplics is FALSE, only the cliques in the clique table are looked at; if regardimplics is TRUE, both the cliques and the implications of the implication graph are regarded