package pgsolver

  1. Overview
  2. Docs
type action =
  1. | NoAction
  2. | GeneratePg of Stratimprgenerators.strat_impr_gen
  3. | GenerateMdp of Stratimprgenerators.strat_impr_gen
  4. | GenerateLp of Stratimprgenerators.strat_impr_gen
  5. | GenerateDualLp of Stratimprgenerators.strat_impr_gen
val action : action Stdlib.ref
val subargs : string Stdlib.ref
val genlistpg : string
val genlistmdp : string
val speclist : (string list * Stdlib.Arg.spec * string) list
val header : string
val usage : string
OCaml

Innovation. Community. Security.