package alt-ergo-lib

  1. Overview
  2. Docs
package alt-ergo-lib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module AltErgoLib.VecSource

Sourcetype 'a t = {
  1. mutable dummy : 'a;
  2. mutable data : 'a array;
  3. mutable sz : int;
}
Sourceval make : int -> 'a -> 'a t
Sourceval init : int -> (int -> 'a) -> 'a -> 'a t
Sourceval from_array : 'a array -> int -> 'a -> 'a t
Sourceval from_list : 'a list -> int -> 'a -> 'a t
Sourceval clear : 'a t -> unit
Sourceval shrink : 'a t -> int -> bool -> unit
Sourceval pop : 'a t -> unit
Sourceval size : 'a t -> int
Sourceval is_empty : 'a t -> bool
Sourceval grow_to : 'a t -> int -> unit
Sourceval grow_to_double_size : 'a t -> unit
Sourceval grow_to_by_double : 'a t -> int -> unit
Sourceval is_full : 'a t -> bool
Sourceval push : 'a t -> 'a -> unit
Sourceval push_none : 'a t -> unit
Sourceval last : 'a t -> 'a
Sourceval get : 'a t -> int -> 'a
Sourceval set : 'a t -> int -> 'a -> unit
Sourceval set_size : 'a t -> int -> unit
Sourceval copy : 'a t -> 'a t
Sourceval move_to : 'a t -> 'a t -> unit
Sourceval remove : 'a t -> 'a -> unit
Sourceval fast_remove : 'a t -> 'a -> unit
Sourceval sort : 'a t -> ('a -> 'a -> int) -> unit
Sourceval iter : 'a t -> ('a -> unit) -> unit