package dose3-extra

  1. Overview
  2. Docs
package dose3-extra
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Dose_extra.Criteria_typesSource

Sourcetype attr = string
Sourcetype set =
  1. | Solution
  2. | Changed
  3. | New
  4. | Removed
  5. | Up
  6. | Down
Sourcetype rematch =
  1. | ExactMatch of string
  2. | Regexp of string
Sourcetype crit =
  1. | Count of set * (string * rematch) option
  2. | Sum of set * attr
  3. | Unsatrec of set
  4. | Aligned of set * attr * attr
  5. | NotUptodate of set
Sourcetype predicate =
  1. | Minimize of crit
  2. | Maximize of crit
Sourcetype criteria = predicate list