Vec (goblint.Goblint_lib.AffineEqualityDomain.VarManagement.Vec)

Parameters

module A : RatOps.RatOps

include SparseVector.SparseVector with type num := A.t

include Vector.Vector with type num := A.t

type t

val equal : t -> t -> Ppx_deriving_runtime.bool

val compare : t -> t -> Ppx_deriving_runtime.int

val hash : t -> int

val show : t -> string

val copy : t -> t

val of_list : A.t list -> t

val of_array : A.t array -> t

val of_sparse_list : int -> (int * A.t) list -> t

val to_list : t -> A.t list

val to_array : t -> A.t array

val to_sparse_list : t -> (int * A.t) list

val length : t -> int

val compare_length_with : t -> int -> int

val zero_vec : int -> t

val is_const_vec : t -> bool

val nth : t -> int -> A.t

val set_nth : t -> int -> A.t -> t

val remove_nth : t -> int -> t

val keep_vals : t -> int -> t

val map2i : (int -> A.t -> A.t -> A.t) -> t -> t -> t

val rev : t -> t

val push_first : t -> int -> A.t -> t

val is_zero_vec : t -> bool

val tail_afterindex : t -> int -> t

val insert_zero_at_indices : t -> (int * int) list -> int -> t

val remove_at_indices : t -> int list -> t

val starting_from_nth : t -> int -> t

val find_first_non_zero : t -> (int * A.t) option

val map_f_preserves_zero : (A.t -> A.t) -> t -> t

val mapi_f_preserves_zero : (int -> A.t -> A.t) -> t -> t

val map2_f_preserves_zero : (A.t -> A.t -> A.t) -> t -> t -> t

val map2_f_preserves_zero_helper : 
  (int -> int -> int) ->
  (A.t -> A.t -> A.t) ->
  t ->
  t ->
  t

val find2i_f_false_at_zero : (A.t -> A.t -> bool) -> t -> t -> int

val apply_with_c_f_preserves_zero : (A.t -> A.t -> A.t) -> A.t -> t -> t