Module Kappa_data_structures.OperatorSource

Compiled algebraic expression

Sourcetype bin_alg_op =
  1. | MULT
  2. | SUM
  3. | DIV
  4. | MINUS
  5. | POW
  6. | MODULO
  7. | MIN
  8. | MAX
Sourcetype un_alg_op =
  1. | LOG
  2. | SQRT
  3. | EXP
  4. | SINUS
  5. | COSINUS
  6. | TAN
  7. | INT
  8. | UMINUS
Sourcetype state_alg_op =
  1. | CPUTIME
  2. | TIME_VAR
  3. | EVENT_VAR
  4. | NULL_EVENT_VAR
  5. | TMAX_VAR
  6. | EMAX_VAR
Sourcetype bin_bool_op =
  1. | AND
  2. | OR
Sourcetype un_bool_op =
  1. | NOT
Sourcetype compare_op =
  1. | GREATER
  2. | SMALLER
  3. | EQUAL
  4. | DIFF

Printers

Sourceval bin_alg_op_is_prefix : bin_alg_op -> bool
Sourceval print_bin_alg_op : (Format.formatter -> 'a -> unit) -> 'a -> (Format.formatter -> 'b -> unit) -> 'b -> Format.formatter -> bin_alg_op -> unit
Sourceval print_un_alg_op : Format.formatter -> un_alg_op -> unit
Sourceval print_state_alg_op : Format.formatter -> state_alg_op -> unit
Sourceval print_bin_bool_op : Format.formatter -> bin_bool_op -> unit
Sourceval print_un_bool_op : Format.formatter -> un_bool_op -> unit
Sourceval print_compare_op : Format.formatter -> compare_op -> unit
Sourceval bin_alg_op_to_string : bin_alg_op -> string
Sourceval un_alg_op_to_string : un_alg_op -> string
Sourceval state_alg_op_to_string : state_alg_op -> string
Sourceval bin_bool_op_to_string : bin_bool_op -> string
Sourceval un_bool_op_to_string : un_bool_op -> string
Sourceval compare_op_to_string : compare_op -> string

Json

Sourceval bin_alg_op_to_json : bin_alg_op -> Yojson.Basic.t
Sourceval bin_alg_op_of_json : Yojson.Basic.t -> bin_alg_op
Sourceval un_alg_op_to_json : un_alg_op -> Yojson.Basic.t
Sourceval un_alg_op_of_json : Yojson.Basic.t -> un_alg_op
Sourceval state_alg_op_to_json : state_alg_op -> Yojson.Basic.t
Sourceval state_alg_op_of_json : Yojson.Basic.t -> state_alg_op
Sourceval bin_bool_op_to_json : bin_bool_op -> Yojson.Basic.t
Sourceval bin_bool_op_of_json : Yojson.Basic.t -> bin_bool_op
Sourceval un_bool_op_to_json : un_bool_op -> Yojson.Basic.t
Sourceval un_bool_op_of_json : Yojson.Basic.t -> un_bool_op
Sourceval compare_op_to_json : compare_op -> Yojson.Basic.t
Sourceval compare_op_of_json : Yojson.Basic.t -> compare_op

Dependencies management

Sourcetype rev_dep =
  1. | ALG of int
  2. | RULE of int
  3. | MODIF of int
Sourcemodule DepSet : SetMap.Set with type elt = rev_dep
Sourceval print_rev_dep : Format.formatter -> rev_dep -> unit
Sourceval rev_dep_to_yojson : rev_dep -> Yojson.Basic.t
Sourceval rev_dep_of_yojson : Yojson.Basic.t -> rev_dep
Sourceval depset_to_yojson : DepSet.t -> Yojson.Basic.t
Sourceval depset_of_yojson : Yojson.Basic.t -> DepSet.t