pub unsafe extern "C" fn SCIPgetRowprepViolation(
scip: *mut SCIP,
rowprep: *mut SCIP_ROWPREP,
sol: *mut SCIP_SOL,
reliable: *mut c_uint,
) -> f64Expand description
computes violation of rowprep in a given solution
Can return whether the violation value is reliable from a floating-point accuracy point of view. The value will not be deemed reliable when its calculation involved the subtraction of large numbers. To be precise, the violation of an inequality \f$ \sum_i a_ix_i \leq b \f$ in a solution \f$x^\f$ is deemed reliable if \f$ |\sum_i a_ix^_i - b| \geq 2^{-50} \max (|b|, \max_i |a_ix^*_i|) \f$.