package kappa-library

You can search for identifiers within the package.

in-package search v0.2.0

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

Install

Dune Dependency

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

Authors

Maintainers

Sources

v4.1.3.tar.gz

md5=1c9a8a0d79f085757817f90834e166f5

sha512=13ac40442940ba6e72d7dc5bf952e67443872f7bff63e9c76a3a699a6904c88696047fe04519b7ec6546371642f6ee7b0983117be302694aca15500b0df40de3

doc/kappa-library.mixtures/Kappa_site_graphs/Snapshot/index.html

Module `Kappa_site_graphs.Snapshot`Source

Sourcetype cc_site = {

site_link : (int * int) option;
(*
(node_id, site_id)
*)
site_state : int option;

}

Sourcetype cc_node = {

node_type : int;
node_id_in_witness : int;
node_sites : cc_site array;

}

Sourcetype connected_component = cc_node array

Sourcetype t

Source

val cc_to_user_cc : 
  ?keep_inverted_counters:bool ->
  debug_mode:bool ->
  raw:bool ->
  Signature.s ->
  connected_component ->
  User_graph.connected_component

Sourceval empty : t

Source

val increment_in_snapshot : 
  raw:bool ->
  Signature.s ->
  connected_component ->
  t ->
  t

Source

val export : 
  debug_mode:bool ->
  raw:bool ->
  Signature.s ->
  t ->
  (int * User_graph.connected_component) list

Sourceval fold : ('a -> int -> connected_component -> 'a) -> 'a -> t -> 'a

package kappa-library

Install

Dune Dependency

Authors

Maintainers

Sources

doc/kappa-library.mixtures/Kappa_site_graphs/Snapshot/index.html

Module Kappa_site_graphs.SnapshotSource

Module `Kappa_site_graphs.Snapshot`Source