package osdp

  1. Overview
  2. Docs

Module Osdp.SdpRetSource

Return codes for SDP.

Sourcetype t =
  1. | Success
  2. | PartialSuccess
    (*

    Problem solved with reduced accuracy.

    *)
  3. | PrimalInfeasible
  4. | DualInfeasible
  5. | NearPrimalInfeasible
  6. | NearDualInfeasible
  7. | Unknown
Sourceval is_success : t -> bool

is_success t returns true if and only if t is Success or PartialSuccess.

Sourceval pp : Format.formatter -> t -> unit