Module Common.Criteria

module Criteria: sig .. end

val parse_criteria : Format822.field -> Criteria_types.criteria

Parse a criteria field

val 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

val is_misc2012 : string -> bool

Return true is the solver respect the MISC2012 syntax

val default_criteria : (string * Criteria_types.criteria) list

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