package osdp

You can search for identifiers within the package.

in-package search v0.2.0

osdp
- Osdp
  - Csdp
  - Csdp_lexer
  - Csdp_parser
  - Csdp_path
  - Dualize
    
    Float
    
    ScalarLinExpr
    
    Make
    
    S
    
    ScalarLinExpr
    
    Q
    
    ScalarLinExpr
    
    S
    
    Scalar
    
    ScalarLinExpr
  - Ident
  - LinExpr
    
    Float
    
    Make
    
    SC
    
    MakeScalar
    
    L
    
    Coeff
    
    Q
    
    S
    
    Coeff
  - Lmi
    
    Float
    
    Make
    
    M
    
    Coeff
    
    Q
    
    S
    
    Mat
    
    Coeff
  - Matrix
    
    Float
    
    Make
    
    ET
    
    Q
    
    S
    
    Coeff
  - Monomial
  - Moseksdp
  - NewtonPolytope
  - Polynomial
    
    Float
    
    Make
    
    SC
    
    Q
    
    S
    
    Coeff
  - Posdef
  - PreSdp
    
    Float
    
    Make
    
    S
    
    Q
    
    S
    
    Scalar
  - Scalar
    
    Float
    
    M
    
    Make
    
    M
    
    Q
    
    S
  - Sdp
  - SdpRet
  - Sdp_default
  - Sdpa
  - Sdpa_lexer
  - Sdpa_parser
  - Sdpa_paths
  - Sos
    
    Float
    
    Make
    
    P
    
    Coeff
    
    Q
    
    S
    
    Poly
    
    Coeff
  - Utils

Legend:
Library
Module
Module type
Parameter
Class
Class type

Matrices and basic operations.

module type S = sig ... end

module Make (ET : Scalar.S) : S with module Coeff = ET

module Q : S with module Coeff = Scalar.Q

Matrix with Q.t coefficients from the library Zarith.

module Float : S with module Coeff = Scalar.Float

Matrix with float coefficients