Module `Kappa_data_structures.Operator`Source

Compiled algebraic expression

Sourcetype bin_alg_op =

| MULT
| SUM
| DIV
| MINUS
| POW
| MODULO
| MIN
| MAX

Sourcetype un_alg_op =

| LOG
| SQRT
| EXP
| SINUS
| COSINUS
| TAN
| INT
| UMINUS

Sourcetype state_alg_op =

| CPUTIME
| TIME_VAR
| EVENT_VAR
| NULL_EVENT_VAR
| TMAX_VAR
| EMAX_VAR

Sourcetype bin_bool_op =

| AND
| OR

Sourcetype un_bool_op =

| NOT

Sourcetype compare_op =

| GREATER
| SMALLER
| EQUAL
| DIFF

Printers

Sourceval bin_alg_op_is_prefix : bin_alg_op -> bool

Source

val 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 =

| ALG of int
| RULE of int
| 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

package kappa-library

Module Kappa_data_structures.OperatorSource

Printers

Json

Dependencies management

Module `Kappa_data_structures.Operator`Source