pub unsafe extern "C" fn SCIPisAndConsSorted( scip: *mut SCIP, cons: *mut SCIP_CONS, ) -> c_uint
return if the variables of the AND-constraint are sorted with respect to their indices