package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type

High-level abstraction of a matrix.

type num
type vec
type t
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
val hash : t -> int
val empty : unit -> t
val is_empty : t -> bool
val show : t -> string
val add_empty_column : t -> int -> t
val add_empty_columns : t -> int array -> t
val append_row : t -> vec -> t
val get_row : t -> int -> vec
val del_col : t -> int -> t
val del_cols : t -> int array -> t
val remove_row : t -> int -> t
val get_col : t -> int -> vec
val append_matrices : t -> t -> t
val num_rows : t -> int
val num_cols : t -> int
val reduce_col : t -> int -> t
val reduce_col_with : t -> int -> unit
val normalize : t -> t Batteries.Option.t
val normalize_with : t -> bool
val rref_vec_with : t -> vec -> t Batteries.Option.t
val rref_matrix_with : t -> t -> t Batteries.Option.t
val find_opt : (vec -> bool) -> t -> vec option
val map2 : (vec -> num -> vec) -> t -> vec -> t
val map2_with : (vec -> num -> vec) -> t -> vec -> unit
val map2i : (int -> vec -> num -> vec) -> t -> vec -> t
val map2i_with : (int -> vec -> num -> vec) -> t -> vec -> unit
val set_col : t -> vec -> int -> t
val set_col_with : t -> vec -> int -> t
val init_with_vec : vec -> t
val remove_zero_rows : t -> t
val is_covered_by : t -> t -> bool
val copy : t -> t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events Blog 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