package kappa-library

  1. Overview
  2. Docs
Public internals of the Kappa tool suite. Use this package to use kappa as a lib

Install 

dune-project
 Dependency

kappalanguage.org Readme Changelog Edit opam file Versions (2)

Authors

  1. J
    Jean Krivine
  2. J
    Jérôme Feret
  3. P
    Pierre Boutillier
  4. I
    Ioana Cristescu
  5. M
    Mutaamba Maasha
  6. L
    Lý Kim Quyên
  7. A
    Antoine Pouille

Maintainers

  1. A
    Antoine Pouille <antoine.a.pouille@inria.fr>
  2. J
    Jérôme Feret <jerome.feret@info.ens.psl.eu>

Sources

v4.1.3.tar.gz
md5=1c9a8a0d79f085757817f90834e166f5
sha512=13ac40442940ba6e72d7dc5bf952e67443872f7bff63e9c76a3a699a6904c88696047fe04519b7ec6546371642f6ee7b0983117be302694aca15500b0df40de3

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

Module Kappa_terms.PrimitivesSource

Compiled kappa model unit

Sourcemodule Transformation : sig ... end

Elementary rule transformations

Sourcetype alg_expr = (Pattern.id array list, int) Alg_expr.e
Sourcetype elementary_rule = {
  1. rate : alg_expr Kappa_data_structures.Loc.annoted;
  2. unary_rate : (alg_expr Kappa_data_structures.Loc.annoted * alg_expr option) option;
  3. connected_components : Pattern.id array;
  4. removed : Instantiation.abstract Transformation.t list;
  5. inserted : Instantiation.abstract Transformation.t list;
  6. delta_tokens : (alg_expr Kappa_data_structures.Loc.annoted * int) list;
  7. syntactic_rule : int;
    (*

    0 means generated for perturbation.

    *)
  8. instantiations : Instantiation.abstract Instantiation.event;
    (*

    In the reverse order on purpose so that we rev_map when we concretize

    *)
}

If unary_rate is Some _, rate means binary rate. Else rate is the rate independently of the connectivity

Sourceval extract_cc_ids : elementary_rule -> Pattern.id array
Sourceval rule_to_yojson : filenames:int Kappa_data_structures.Mods.StringMap.t -> elementary_rule -> Yojson.Basic.t
Sourceval rule_of_yojson : filenames:string array -> Yojson.Basic.t -> elementary_rule
Sourceval fully_specified_pattern_to_positive_transformations : Pattern.cc -> Instantiation.concrete Transformation.t list
Sourcetype 'alg_expr print_expr =
  1. | Str_pexpr of string Kappa_data_structures.Loc.annoted
  2. | Alg_pexpr of 'alg_expr Kappa_data_structures.Loc.annoted
Sourceval print_expr_to_yojson : filenames:int Kappa_data_structures.Mods.StringMap.t -> ('a -> Yojson.Basic.t) -> ('b -> Yojson.Basic.t) -> ('a, 'b) Alg_expr.e print_expr -> Yojson.Basic.t
Sourceval print_expr_of_yojson : filenames:string array -> (Yojson.Basic.t -> 'a) -> (Yojson.Basic.t -> 'b) -> Yojson.Basic.t -> ('a, 'b) Alg_expr.e print_expr
Sourcetype din_kind =
  1. | ABSOLUTE
  2. | RELATIVE
  3. | PROBABILITY
Sourceval din_kind_to_yojson : din_kind -> Yojson.Basic.t
Sourceval din_kind_of_yojson : Yojson.Basic.t -> din_kind
Sourceval write_din_kind : Buffer.t -> din_kind -> unit

Output a JSON value of type din_kind.

Sourceval string_of_din_kind : ?len:int -> din_kind -> string

Serialize a value of type din_kind into a JSON string.

  • parameter len

    specifies the initial length of the buffer used internally. Default: 1024.

Sourceval read_din_kind : Yojson.Safe.lexer_state -> Lexing.lexbuf -> din_kind

Input JSON data of type din_kind.

Sourceval din_kind_of_string : string -> din_kind

Deserialize JSON data of type din_kind.

Sourcetype modification =
  1. | ITER_RULE of alg_expr Kappa_data_structures.Loc.annoted * elementary_rule
  2. | UPDATE of int * alg_expr Kappa_data_structures.Loc.annoted
  3. | SNAPSHOT of bool * alg_expr print_expr list
  4. | STOP of alg_expr print_expr list
  5. | CFLOW of string option * Pattern.id array * Instantiation.abstract Instantiation.test list list
    (*

    First string is the named used by the user

    *)
  6. | DIN of din_kind * alg_expr print_expr list
  7. | DINOFF of alg_expr print_expr list
  8. | CFLOWOFF of string option * Pattern.id array
  9. | PLOTENTRY
  10. | PRINT of alg_expr print_expr list * alg_expr print_expr list
  11. | SPECIES of alg_expr print_expr list * Pattern.id array * Instantiation.abstract Instantiation.test list list
  12. | SPECIES_OFF of alg_expr print_expr list
Sourcetype perturbation = {
  1. alarm : Kappa_data_structures.Nbr.t option;
  2. precondition : (Pattern.id array list, int) Alg_expr.bool Kappa_data_structures.Loc.annoted;
  3. effect : modification list;
  4. repeat : (Pattern.id array list, int) Alg_expr.bool Kappa_data_structures.Loc.annoted;
  5. needs_backtrack : bool;
}
Sourceval perturbation_to_yojson : filenames:int Kappa_data_structures.Mods.StringMap.t -> perturbation -> Yojson.Basic.t
Sourceval perturbation_of_yojson : filenames:string array -> Yojson.Basic.t -> perturbation
Sourceval exists_modification : (modification -> bool) -> perturbation array -> bool
Sourceval extract_connected_components_modifications : modification list -> Pattern.id list
Sourceval extract_connected_components_bool : (Pattern.id array list, int) Alg_expr.bool Kappa_data_structures.Loc.annoted -> Pattern.id list
Sourceval fold_expr_rule : ('a -> alg_expr Kappa_data_structures.Loc.annoted -> 'a) -> 'a -> elementary_rule -> 'a
Sourceval fold_expr_perturbation : ('a -> alg_expr Kappa_data_structures.Loc.annoted -> 'a) -> ('a -> (Pattern.id array list, int) Alg_expr.bool Kappa_data_structures.Loc.annoted -> 'a) -> 'a -> perturbation -> 'a