package kappa-library

  1. Overview
  2. Docs
package kappa-library
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Kappa_data_structures.RenamingSource

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 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
  • returns

    if the addition preserves injectivity

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

    None if the addition would break injectivity

Sourceval compose : debug_mode:bool -> bool -> t -> t -> t
Sourceval apply : debug_mode:bool -> t -> int -> int
Sourceval mem : int -> t -> bool
Sourceval inverse : t -> t
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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct