yices2_bindings 0.1 · OCaml Package

type key = string

type !'a t

val create : int -> 'a t

val clear : 'a t -> unit

val reset : 'a t -> unit

val copy : 'a t -> 'a t

val add : 'a t -> key -> 'a -> unit

val remove : 'a t -> key -> unit

val find : 'a t -> key -> 'a

val find_opt : 'a t -> key -> 'a option

val find_all : 'a t -> key -> 'a list

val replace : 'a t -> key -> 'a -> unit

val mem : 'a t -> key -> bool

val iter : (key -> 'a -> unit) -> 'a t -> unit

val filter_map_inplace : (key -> 'a -> 'a option) -> 'a t -> unit

val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b

val length : 'a t -> int

val stats : 'a t -> Stdlib__Hashtbl.statistics

val to_seq_keys : 'a t -> key Stdlib.Seq.t

val to_seq_values : 'a t -> 'a Stdlib.Seq.t

val replace_seq : 'a t -> (key * 'a) Stdlib.Seq.t -> unit

val get : 'a t -> key -> 'a option

val get_or : 'a t -> key -> default:'a -> 'a

val add_list : 'a list t -> key -> 'a -> unit

val incr : ?by:int -> int t -> key -> unit

val decr : ?by:int -> int t -> key -> unit

val keys : 'a t -> key CCHashtbl.iter

val values : 'a t -> 'a CCHashtbl.iter

val keys_list : 'a t -> key list

val values_list : 'a t -> 'a list

val map_list : (key -> 'a -> 'b) -> 'a t -> 'b list

val to_iter : 'a t -> (key * 'a) CCHashtbl.iter

val to_seq : 'a t -> (key * 'a) CCHashtbl.sequence

deprecated use to_iter

val add_iter : 'a t -> (key * 'a) CCHashtbl.iter -> unit

val add_std_seq : 'a t -> (key * 'a) Stdlib.Seq.t -> unit

val add_seq : 'a t -> (key * 'a) CCHashtbl.sequence -> unit

deprecated use add_iter or add_std_seq

val of_iter : (key * 'a) CCHashtbl.iter -> 'a t

val of_std_seq : (key * 'a) Stdlib.Seq.t -> 'a t

val of_seq : (key * 'a) CCHashtbl.sequence -> 'a t

deprecated use of_iter or of_std_seq

val add_iter_count : int t -> key CCHashtbl.iter -> unit

val add_std_seq_count : int t -> key Stdlib.Seq.t -> unit

val add_seq_count : int t -> key CCHashtbl.sequence -> unit

deprecated use add_iter_count or add_std_seq_count

val of_iter_count : key CCHashtbl.iter -> int t

val of_std_seq_count : key Stdlib.Seq.t -> int t

val of_seq_count : key CCHashtbl.sequence -> int t

deprecated use add_iter_count or add_std_seq_count

val to_list : 'a t -> (key * 'a) list

val of_list : (key * 'a) list -> 'a t

val update : 'a t -> f:(key -> 'a option -> 'a option) -> k:key -> unit

val get_or_add : 'a t -> f:(key -> 'a) -> k:key -> 'a

val pp : 
  key CCHashtbl.printer ->
  'a CCHashtbl.printer ->
  'a t CCHashtbl.printer

package yices2_bindings