Module `Kappa_terms.Alg_expr`Source

Sourcetype pervasives_bool = bool

Sourcetype ('mix, 'id) e =

| BIN_ALG_OP of Kappa_data_structures.Operator.bin_alg_op * ('mix, 'id) e Kappa_data_structures.Loc.annoted * ('mix, 'id) e Kappa_data_structures.Loc.annoted
| UN_ALG_OP of Kappa_data_structures.Operator.un_alg_op * ('mix, 'id) e Kappa_data_structures.Loc.annoted
| STATE_ALG_OP of Kappa_data_structures.Operator.state_alg_op
| ALG_VAR of 'id
| KAPPA_INSTANCE of 'mix
| TOKEN_ID of 'id
| CONST of Kappa_data_structures.Nbr.t
| IF of ('mix, 'id) bool Kappa_data_structures.Loc.annoted * ('mix, 'id) e Kappa_data_structures.Loc.annoted * ('mix, 'id) e Kappa_data_structures.Loc.annoted
| DIFF_TOKEN of ('mix, 'id) e Kappa_data_structures.Loc.annoted * 'id
| DIFF_KAPPA_INSTANCE of ('mix, 'id) e Kappa_data_structures.Loc.annoted * 'mix

Sourceand ('mix, 'id) bool =

| TRUE
| FALSE
| BIN_BOOL_OP of Kappa_data_structures.Operator.bin_bool_op * ('mix, 'id) bool Kappa_data_structures.Loc.annoted * ('mix, 'id) bool Kappa_data_structures.Loc.annoted
| UN_BOOL_OP of Kappa_data_structures.Operator.un_bool_op * ('mix, 'id) bool Kappa_data_structures.Loc.annoted
| COMPARE_OP of Kappa_data_structures.Operator.compare_op * ('mix, 'id) e Kappa_data_structures.Loc.annoted * ('mix, 'id) e Kappa_data_structures.Loc.annoted

val e_to_yojson : 
  filenames:int Kappa_data_structures.Mods.StringMap.t ->
  ('a -> Yojson.Basic.t) ->
  ('b -> Yojson.Basic.t) ->
  ('a, 'b) e ->
  Yojson.Basic.t

Source

val e_of_yojson : 
  filenames:string array ->
  (Yojson.Basic.t -> 'a) ->
  (Yojson.Basic.t -> 'b) ->
  Yojson.Basic.t ->
  ('a, 'b) e

Source

val print : 
  (Format.formatter -> 'a -> unit) ->
  (Format.formatter -> 'b -> unit) ->
  (Format.formatter -> 'b -> unit) ->
  Format.formatter ->
  ('a, 'b) e ->
  unit

Source

val bool_to_yojson : 
  filenames:int Kappa_data_structures.Mods.StringMap.t ->
  ('a -> Yojson.Basic.t) ->
  ('b -> Yojson.Basic.t) ->
  ('a, 'b) bool ->
  Yojson.Basic.t

Source

val bool_of_yojson : 
  filenames:string array ->
  (Yojson.Basic.t -> 'a) ->
  (Yojson.Basic.t -> 'b) ->
  Yojson.Basic.t ->
  ('a, 'b) bool

Source

val print_bool : 
  (Format.formatter -> 'a -> unit) ->
  (Format.formatter -> 'b -> unit) ->
  (Format.formatter -> 'b -> unit) ->
  Format.formatter ->
  ('a, 'b) bool ->
  unit

Source

val const : 
  Kappa_data_structures.Nbr.t ->
  ('a, 'b) e Kappa_data_structures.Loc.annoted

Smart constructor

Sourceval int : int -> ('a, 'b) e Kappa_data_structures.Loc.annoted

Sourceval float : float -> ('a, 'b) e Kappa_data_structures.Loc.annoted

Source

val add : 
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  ('a, 'b) e Kappa_data_structures.Loc.annoted

Source

val minus : 
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  ('a, 'b) e Kappa_data_structures.Loc.annoted

Source

val mult : 
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  ('a, 'b) e Kappa_data_structures.Loc.annoted

Source

val div : 
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  ('a, 'b) e Kappa_data_structures.Loc.annoted

Source

val pow : 
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  ('a, 'b) e Kappa_data_structures.Loc.annoted

Source

val ln : 
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  ('a, 'b) e Kappa_data_structures.Loc.annoted

Source

val uminus : 
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  ('a, 'b) e Kappa_data_structures.Loc.annoted

Source

val sin : 
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  ('a, 'b) e Kappa_data_structures.Loc.annoted

Source

val cos : 
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  ('a, 'b) e Kappa_data_structures.Loc.annoted

Source

val sqrt : 
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  ('a, 'b) e Kappa_data_structures.Loc.annoted

Source

val add_dep : 
  (Kappa_data_structures.Operator.DepSet.t
   * Kappa_data_structures.Operator.DepSet.t
   * Kappa_data_structures.Operator.DepSet.t array
   * Kappa_data_structures.Operator.DepSet.t array) ->
  Kappa_data_structures.Operator.rev_dep ->
  ('a, int) e Kappa_data_structures.Loc.annoted ->
  Kappa_data_structures.Operator.DepSet.t
  * Kappa_data_structures.Operator.DepSet.t
  * Kappa_data_structures.Operator.DepSet.t array
  * Kappa_data_structures.Operator.DepSet.t array

depend in time, depend in event number, depend in given var

Source

val add_dep_bool : 
  (Kappa_data_structures.Operator.DepSet.t
   * Kappa_data_structures.Operator.DepSet.t
   * Kappa_data_structures.Operator.DepSet.t array
   * Kappa_data_structures.Operator.DepSet.t array) ->
  Kappa_data_structures.Operator.rev_dep ->
  ('a, int) bool Kappa_data_structures.Loc.annoted ->
  Kappa_data_structures.Operator.DepSet.t
  * Kappa_data_structures.Operator.DepSet.t
  * Kappa_data_structures.Operator.DepSet.t array
  * Kappa_data_structures.Operator.DepSet.t array

Source

val setup_alg_vars_rev_dep : 
  unit Kappa_data_structures.NamedDecls.t ->
  (string Kappa_data_structures.Loc.annoted
   * ('a, int) e Kappa_data_structures.Loc.annoted)
    array ->
  Kappa_data_structures.Operator.DepSet.t
  * Kappa_data_structures.Operator.DepSet.t
  * Kappa_data_structures.Operator.DepSet.t array
  * Kappa_data_structures.Operator.DepSet.t array

Sourceval has_mix : ?var_decls:('b -> ('c, 'b) e) -> ('a, 'b) e -> pervasives_bool

Source

val is_constant : 
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  pervasives_bool

Source

val is_time_homogeneous : 
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  pervasives_bool

does not take into account symbolic propagation of expression

Source

val has_progress_dep : 
  only_time:pervasives_bool ->
  (Kappa_data_structures.Operator.DepSet.t
   * Kappa_data_structures.Operator.DepSet.t
   * Kappa_data_structures.Operator.DepSet.t array
   * Kappa_data_structures.Operator.DepSet.t array) ->
  ('a, int) e Kappa_data_structures.Loc.annoted ->
  pervasives_bool

Source

val extract_connected_components : 
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  'a list

Source

val extract_connected_components_bool : 
  ('a, 'b) bool Kappa_data_structures.Loc.annoted ->
  'a list

Source

val propagate_constant : 
  warning:
    (pos:Kappa_data_structures.Loc.t -> (Format.formatter -> unit) -> unit) ->
  ?max_time:float ->
  ?max_events:int ->
  updated_vars:int list ->
  vars:
    (string Kappa_data_structures.Loc.annoted
     * ('a, int) e Kappa_data_structures.Loc.annoted)
      array ->
  ('a, int) e Kappa_data_structures.Loc.annoted ->
  ('a, int) e Kappa_data_structures.Loc.annoted

Source

val propagate_constant_bool : 
  warning:
    (pos:Kappa_data_structures.Loc.t -> (Format.formatter -> unit) -> unit) ->
  ?max_time:float ->
  ?max_events:int ->
  updated_vars:int list ->
  vars:
    (string Kappa_data_structures.Loc.annoted
     * ('a, int) e Kappa_data_structures.Loc.annoted)
      array ->
  ('a, int) bool Kappa_data_structures.Loc.annoted ->
  ('a, int) bool Kappa_data_structures.Loc.annoted

Source

val is_equality_test_time : 
  (Kappa_data_structures.Operator.DepSet.t
   * Kappa_data_structures.Operator.DepSet.t
   * Kappa_data_structures.Operator.DepSet.t array
   * Kappa_data_structures.Operator.DepSet.t array) ->
  ('a, int) bool ->
  pervasives_bool

Source

val map_on_mixture : 
  ('a -> ('c, 'b) e) ->
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  ('c, 'b) e Kappa_data_structures.Loc.annoted

Source

val map_bool_on_mixture : 
  ('a -> ('c, 'b) e) ->
  ('a, 'b) bool Kappa_data_structures.Loc.annoted ->
  ('c, 'b) bool Kappa_data_structures.Loc.annoted

Source

val fold_on_mixture : 
  ('a -> 'b -> 'a) ->
  'a ->
  ('b, 'c) e Kappa_data_structures.Loc.annoted ->
  'a

Source

val fold_bool_on_mixture : 
  ('a -> 'b -> 'a) ->
  'a ->
  ('b, 'c) bool Kappa_data_structures.Loc.annoted ->
  'a

Source

val equal : 
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  ('a, 'b) e Kappa_data_structures.Loc.annoted ->
  pervasives_bool

Syntactic equality up to positions but not associativity and comutativity

Source

val equal_bool : 
  ('a, 'b) bool Kappa_data_structures.Loc.annoted ->
  ('a, 'b) bool Kappa_data_structures.Loc.annoted ->
  pervasives_bool

Install

Dune Dependency

Authors

Maintainers

Sources

doc/kappa-library.terms/Kappa_terms/Alg_expr/index.html

Module `Kappa_terms.Alg_expr`Source

package kappa-library

Install

Dune Dependency

Authors

Maintainers

Sources

doc/kappa-library.terms/Kappa_terms/Alg_expr/index.html

Module Kappa_terms.Alg_exprSource

Module `Kappa_terms.Alg_expr`Source