pub unsafe extern "C" fn SCIPconsIsLocked( cons: *mut SCIP_CONS, ) -> c_uint
returns TRUE iff roundings for variables in constraint or in constraint’s negation are locked