package osdp

  1. Overview
  2. Docs

Return codes for SDP.

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

    Problem solved with reduced accuracy.

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

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

val pp : Stdlib.Format.formatter -> t -> unit