package kappa-library

You can search for identifiers within the package.

in-package search v0.2.0

kappa-library
- Library kappa-library.generic
  - Kappa_data_structures
    
    Base64
    
    Bigbuffer
    
    Buffers
    
    Buffers
    
    Cache
    
    Cache
    
    O
    
    Cache
    
    O
    
    Circular_buffers
    
    Color
    
    Crc32
    
    DynamicArray
    
    DynArray
    
    ExceptionDefn
    
    Fifo
    
    Fractions
    
    GenArray
    
    GenArray
    
    Hashed_list
    
    Hash
    
    Make
    
    Infinite_buffers
    
    IntCollection
    
    JsonUtil
    
    LargeArray
    
    List_util
    
    Infix
    
    Loc
    
    Mods
    
    StringSetMap
    
    Set
    
    Map
    
    StringSet
    
    StringMap
    
    String2SetMap
    
    Set
    
    Map
    
    String2Map
    
    IntSetMap
    
    Set
    
    Map
    
    IntSet
    
    IntMap
    
    Int2SetMap
    
    Set
    
    Map
    
    Int2Set
    
    Int2Map
    
    CharSetMap
    
    Set
    
    Map
    
    CharSet
    
    CharMap
    
    DynArray
    
    NamedDecls
    
    Nbr
    
    Operator
    
    DepSet
    
    Option_util
    
    Pp
    
    Pp_html
    
    Random_tree
    
    Renaming
    
    Result_util
    
    SetMap
    
    OrderedType
    
    Set
    
    Map
    
    S
    
    Set
    
    Map
    
    Make
    
    Set
    
    Map
    
    Projection
    
    Proj
    
    Projection2
    
    Proj2
    
    Stop
    
    Tools
    
    ValMap
- Library kappa-library.mixtures
  - Kappa_site_graphs
    
    Agent
    
    SetMap
    
    Set
    
    Map
    
    Counters_info
    
    Edges
    
    Navigation
    
    Signature
    
    Snapshot
    
    User_graph
- Library kappa-library.runtime
  - Kappa_runtime
    
    Counter
    
    Efficiency
    
    Data
    
    Expr_interpreter
    
    Fluxmap
    
    Generic_rule_interpreter
    
    Make
    
    Instances
    
    Instances_sig
    
    S
    
    Replay
    
    Resource_strings
    
    Roots
    
    Rule_interpreter
    
    State_interpreter
    
    Trace
    
    Simulation_info
- Library kappa-library.terms
  - Kappa_terms
    
    Alg_expr
    
    Alg_expr_extra
    
    Configuration
    
    Contact_map
    
    Instantiation
    
    Kappa_printer
    
    LKappa
    
    Matching
    
    Agent
    
    Model
    
    Pattern
    
    ObsMap
    
    Env
    
    PreEnv
    
    Set
    
    Map
    
    Pattern_compiler
    
    Pattern_decompiler
    
    Primitives
    
    Transformation
    
    Raw_mixture
- Library kappa-library.utils
  - Kappa_utils
    
    Utils
- Sources
  - kappa-library.generic
    
    ExceptionDefn.ml
    
    base64.ml
    
    bigbuffer.ml
    
    buffers.ml
    
    cache.ml
    
    circular_buffers.ml
    
    color.ml
    
    crc32.ml
    
    dynamicArray.ml
    
    fifo.ml
    
    fractions.ml
    
    genArray.ml
    
    hashed_list.ml
    
    infinite_buffers.ml
    
    intCollection.ml
    
    jsonUtil.ml
    
    kappa_data_structures.ml
    
    largeArray.ml
    
    list_util.ml
    
    loc.ml
    
    mods.ml
    
    namedDecls.ml
    
    nbr.ml
    
    operator.ml
    
    option_util.ml
    
    pp.ml
    
    pp_html.ml
    
    random_tree.ml
    
    renaming.ml
    
    result_util.ml
    
    setMap.ml
    
    stop.ml
    
    tools.ml
    
    valMap.ml
  - kappa-library.mixtures
    
    agent.ml
    
    counters_info.ml
    
    edges.ml
    
    kappa_site_graphs.ml
    
    navigation.ml
    
    signature.ml
    
    snapshot.ml
    
    user_graph.ml
  - kappa-library.runtime
    
    counter.ml
    
    data.ml
    
    expr_interpreter.ml
    
    fluxmap.ml
    
    generic_rule_interpreter.ml
    
    instances.ml
    
    instances_sig.ml
    
    kappa_runtime.ml
    
    replay.ml
    
    resource_strings.ml
    
    roots.ml
    
    rule_interpreter.ml
    
    state_interpreter.ml
    
    trace.ml
  - kappa-library.terms
    
    alg_expr.ml
    
    alg_expr_extra.ml
    
    configuration.ml
    
    contact_map.ml
    
    instantiation.ml
    
    kappa_printer.ml
    
    kappa_terms.ml
    
    lKappa.ml
    
    matching.ml
    
    model.ml
    
    pattern.ml
    
    pattern_compiler.ml
    
    pattern_decompiler.ml
    
    primitives.ml
    
    raw_mixture.ml
  - kappa-library.utils
    
    kappa_utils.ml
    
    utils.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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

Source

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

package kappa-library

Module Kappa_terms.Alg_exprSource

Module `Kappa_terms.Alg_expr`Source