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