package dose3

You can search for identifiers within the package.

in-package search v0.2.0

Dose library (part of Mancoosi tools)

Install

md5=dedc2f58f2c2b59021f484abc6681d93

sha512=603462645bac190892a816ecb36ef7b9c52f0020f8d7710dc430e2db65122090fdedb24a8d2e03c32bf53a96515f5b51499603b839680d0a7a2146d6e0fb6e34

Sourceval parse_criteria : Format822.field -> Criteria_types.criteria

Parse a criteria field

Sourceval to_string : ?solver:string -> Criteria_types.criteria -> string

Return the string encoding the criteria. if the given solver does not respect the MISC2012 syntax, the function fails

val iter : 
  ((string * string * string * Re.re option) -> unit) ->
  Criteria_types.criteria ->
  unit

Sourceval is_misc2012 : string -> bool

Return true is the solver respect the MISC2012 syntax

Sourceval default_criteria : (string * Criteria_types.criteria) list

An associative list containing the criteria associated to the following shortcuts :