package dose3

  1. Overview
  2. Docs

Source file criteria_types.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
type attr = string

type set = Solution | Changed | New | Removed | Up | Down

type rematch = ExactMatch of string | Regexp of string

type crit =
  | Count of (set * (string * rematch) option)
  | Sum of (set * attr)
  | Unsatrec of set
  | Aligned of (set * attr * attr)
  | NotUptodate of set

type predicate = Minimize of crit | Maximize of crit

type criteria = predicate list