pub unsafe extern "C" fn SCIPconsGetValidDepth( cons: *mut SCIP_CONS, ) -> c_int
returns the depth in the tree at which the constraint is valid; returns INT_MAX, if the constraint is local and currently not active