Module `Kappa_terms.Model`Source

Compiled representation of a full Kappa model

Sourcetype t

val init : 
  filenames:string list ->
  Pattern.Env.t ->
  unit Kappa_data_structures.NamedDecls.t ->
  Primitives.alg_expr Kappa_data_structures.Loc.annoted
    Kappa_data_structures.NamedDecls.t ->
  (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) ->
  ((string Kappa_data_structures.Loc.annoted option
    * LKappa.rule Kappa_data_structures.Loc.annoted)
     array
   * Primitives.elementary_rule array) ->
  Primitives.alg_expr Kappa_data_structures.Loc.annoted array ->
  Primitives.perturbation array ->
  Contact_map.t ->
  Kappa_site_graphs.Counters_info.counter_sig option array array ->
  t

init sigs tokens algs dependencies (ast_rules,rules) obs perts

Source

val deconstruct : 
  t ->
  string list
  * Pattern.Env.t
  * unit Kappa_data_structures.NamedDecls.t
  * Primitives.alg_expr Kappa_data_structures.Loc.annoted
      Kappa_data_structures.NamedDecls.t
  * (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)
  * ((string Kappa_data_structures.Loc.annoted option
      * LKappa.rule Kappa_data_structures.Loc.annoted)
       array
     * Primitives.elementary_rule array)
  * Primitives.alg_expr Kappa_data_structures.Loc.annoted array
  * Primitives.perturbation array
  * Contact_map.t
  * Kappa_site_graphs.Counters_info.counter_sig option array array

Sourceval nb_tokens : t -> int

Sourceval nb_algs : t -> int

Sourceval nb_rules : t -> int

Sourceval nb_syntactic_rules : t -> int

Sourceval nb_perturbations : t -> int

Sourceval domain : t -> Pattern.Env.t

Sourceval get_obs : t -> Primitives.alg_expr Kappa_data_structures.Loc.annoted array

Sourceval get_rules : t -> Primitives.elementary_rule array

Sourceval new_domain : Pattern.Env.t -> t -> t

Sourceval signatures : t -> Kappa_site_graphs.Signature.s

Sourceval tokens_finder : t -> int Kappa_data_structures.Mods.StringMap.t

Sourceval algs_finder : t -> int Kappa_data_structures.Mods.StringMap.t

Sourceval contact_map : t -> Contact_map.t

Sourceval counters_info : t -> Kappa_site_graphs.Counters_info.t

Source

val counter_info : 
  t ->
  int ->
  int ->
  Kappa_site_graphs.Counters_info.counter_sig option

Sourceval get_alg : t -> int -> Primitives.alg_expr

Source

val get_algs : 
  t ->
  (string * Primitives.alg_expr Kappa_data_structures.Loc.annoted) array

Sourceval get_perturbation : t -> int -> Primitives.perturbation

Sourceval get_rule : t -> int -> Primitives.elementary_rule

Sourceval get_ast_rule : t -> int -> LKappa.rule

Source

val get_ast_rule_with_label : 
  t ->
  int ->
  string Kappa_data_structures.Loc.annoted option
  * LKappa.rule Kappa_data_structures.Loc.annoted

Source

val get_ast_rule_rate_pos : 
  unary:bool ->
  t ->
  int ->
  Kappa_data_structures.Loc.t

Sourceval map_observables : (Primitives.alg_expr -> 'a) -> t -> 'a array

Source

val fold_rules : 
  (int -> 'a -> Primitives.elementary_rule -> 'a) ->
  'a ->
  t ->
  'a

Sourceval fold_ast_rules : (int -> 'a -> LKappa.rule -> 'a) -> 'a -> t -> 'a

Source

val fold_perturbations : 
  (int -> 'a -> Primitives.perturbation -> 'a) ->
  'a ->
  t ->
  'a

Source

val get_alg_reverse_dependencies : 
  t ->
  int ->
  Kappa_data_structures.Operator.DepSet.t

Source

val get_token_reverse_dependencies : 
  t ->
  int ->
  Kappa_data_structures.Operator.DepSet.t

Source

val all_dependencies : 
  t ->
  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 num_of_agent : string Kappa_data_structures.Loc.annoted -> t -> int

Sourceval num_of_alg : string Kappa_data_structures.Loc.annoted -> t -> int

Sourceval num_of_token : string Kappa_data_structures.Loc.annoted -> t -> int

Sourceval nums_of_rule : string -> t -> int list

Source

val print_ast_rule : 
  noCounters:bool ->
  ?env:t ->
  Format.formatter ->
  int ->
  unit

The int is the ast_rule_id

Sourceval print_rule : noCounters:bool -> ?env:t -> Format.formatter -> int -> unit

Same as above but the int is this time the rule_id

Sourceval print_agent : ?env:t -> Format.formatter -> int -> unit

Sourceval print_alg : ?env:t -> Format.formatter -> int -> unit

Sourceval print_token : ?env:t -> Format.formatter -> int -> unit

Source

val print : 
  noCounters:bool ->
  (t -> Format.formatter -> Primitives.alg_expr -> unit) ->
  (t -> Format.formatter -> Primitives.elementary_rule -> unit) ->
  (t -> Format.formatter -> Primitives.perturbation -> unit) ->
  Format.formatter ->
  t ->
  unit

Source

val print_kappa : 
  noCounters:bool ->
  (t -> Format.formatter -> Primitives.alg_expr -> unit) ->
  ?pr_rule:(t -> Format.formatter -> Primitives.elementary_rule -> unit) ->
  (t -> Format.formatter -> Primitives.perturbation -> unit) ->
  Format.formatter ->
  t ->
  unit

Sourceval to_yojson : t -> Yojson.Basic.t

Sourceval of_yojson : Yojson.Basic.t -> t

Sourceval check_if_counter_is_filled_enough : t -> unit

Sourceval overwrite_vars : (int * Primitives.alg_expr) list -> t -> t

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 ->
  alg_overwrite:(int * Primitives.alg_expr) list ->
  t ->
  t

propagate_constant updated_vars overwrite_vars env

Sourceval fold_mixture_in_expr : ('a -> Pattern.id array list -> 'a) -> 'a -> t -> 'a

Sourceval unary_patterns : t -> Pattern.Set.t

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Kappa_terms.Model`Source

package kappa-library

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Kappa_terms.ModelSource

Module `Kappa_terms.Model`Source