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.terms/Kappa_terms/Raw_mixture/index.html

Module `Kappa_terms.Raw_mixture`Source

Sourcetype internal = int option

Sourcetype link =

| FREE
| VAL of int

Sourcetype agent = {

a_type : int;
a_ports : link array;
a_ints : internal array;

}

Sourcetype t = agent list

This is a simple `raw` type of mixture, used as the mixture state after a rule was applied

Sourceval copy_agent : agent -> agent

Source

val print : 
  noCounters:bool ->
  created:bool ->
  initial_comma:bool ->
  ?sigs:Kappa_site_graphs.Signature.s ->
  ?counters_info:Kappa_site_graphs.Counters_info.t ->
  Format.formatter ->
  t ->
  unit

Sourceval to_json : t -> Yojson.Basic.t

Sourceval of_json : Yojson.Basic.t -> t

Sourcetype incr_t = {

father : int Kappa_data_structures.Mods.DynArray.t;
rank : (int * (bool * bool)) Kappa_data_structures.Mods.DynArray.t;

}

Sourceval union_find_counters : Kappa_site_graphs.Signature.s option -> t -> incr_t

Sourceval find : incr_t -> int -> int

Sourceval union : incr_t -> int -> int -> unit

Sourceval create : int -> incr_t