Function SCIPcliqueHasVar 

pub unsafe extern "C" fn SCIPcliqueHasVar(
    clique: *mut SCIP_CLIQUE,
    var: *mut SCIP_VAR,
    value: c_uint,
) -> c_uint

returns whether the given variable/value pair is member of the given clique