package pgsolver

  1. Overview
  2. Docs
package pgsolver
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 ref
val subargs : string ref
val genlistpg : string
val genlistmdp : string
val speclist : (string list * Arg.spec * string) list
val header : string
val usage : string