package osdp

You can search for identifiers within the package.

in-package search v0.2.0

package osdp

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

Affine expressions.

module type S = sig ... end

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

module Q : S with module Coeff = Scalar.Q

module Float : S with module Coeff = Scalar.Float

exception Not_linear

module MakeScalar (L : S) : Scalar.S with type t = L.t

Gives an interface Scalar.S to linear expressions. Since to_float and div have no meaning for linear expressions, they are implemented as assert false. You should never use them. Simialr behavior for the moment for comparison functions. Moreover, the product of two linear expressions is a linear expression only when at least one of them is a constant. Not_linear is raised otherwise.