Module Priority.Make

Functor building a concrete implementation of priority classes.

Parameters

module R : React.T
module _ : Val_Check with type t := R.t list

Signature

type p_class =
  1. | P_class of R.t list
    (*

    Standard priority class.

    *)
  2. | P_rclass of R.t list
    (*

    Reducing priority class: rewriting is applied until a fixed point is reached without explicit transitions.

    *)
val is_valid : p_class -> bool
val is_valid_err : p_class -> (unit, string) Stdlib.result

Ok () if the class is valid, otherwise Error reason with a precise explanation of the violation. is_valid c = Result.is_ok (is_valid_err c).

val is_valid_list : p_class list -> bool

Ok () if the class is valid, otherwise Error reason with a precise explanation of the violation. is_valid c = Result.is_ok (is_valid_err c).

val cardinal : p_class list -> int
val rewrite : Big.t -> p_class list -> Big.t * int
val scan : (Big.t * int) -> part_f: ((Big.t * R.label * R.t list) list -> (int * (Big.big_key * Big.t * R.label * R.t list)) list * (int * R.label * R.t list) list * int) -> p_class list -> ((int * (Big.big_key * Big.t * R.label * R.t list)) list * (int * R.label * R.t list) list * int) * int

Iterate over priority classes.