pub unsafe extern "C" fn SCIPconsIsSeparationEnabled( cons: *mut SCIP_CONS, ) -> c_uint
returns TRUE iff constraint’s separation is enabled in the current node