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.generic/Kappa_data_structures/Renaming/index.html

Module `Kappa_data_structures.Renaming`Source

Functions from a subset of nat to a subset of nat

Sourceexception Undefined

Sourceexception NotBijective

Sourceexception Clashing

Sourcetype t

Sourceval dummy : t

Sourceval empty : unit -> t

Sourceval is_identity : t -> bool

Sourceval identity : int list -> t

Sourceval image : t -> Kappa_data_structures.Mods.IntSet.t

Sourceval cyclic_permutation_from_list : stop_at:int -> int list -> t

very specific use case for Connected_component.remove_ag_cc

Sourceval imperative_add : debug_mode:bool -> int -> int -> t -> bool

raises Clashing
in debug mode

returns
if the addition preserves injectivity

Sourceval add : debug_mode:bool -> int -> int -> t -> t option

raises Clashing
in debug mode

returns
None if the addition would break injectivity

Sourceval compose : debug_mode:bool -> bool -> t -> t -> t

raises Undefined

Sourceval apply : debug_mode:bool -> t -> int -> int

raises Undefined

Sourceval mem : int -> t -> bool

Sourceval inverse : t -> t

raises NotBijective

Sourceval compare : t -> t -> int

Sourceval equal : t -> t -> bool

Sourceval min_elt : t -> (int * int) option

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

Sourceval to_list : t -> (int * int) list

Sourceval print : Format.formatter -> t -> unit

prints only non identity points

Sourceval print_full : Format.formatter -> t -> unit

Sourceval to_yojson : t -> Yojson.Basic.t

Sourceval of_yojson : Yojson.Basic.t -> t