package ocplib-simplex

  1. Overview
  2. Docs

Module Make.PSource

Linear relations of variables.

Sourcemodule Var = Var
Sourcemodule R = R
Sourcetype t
Sourcetype var_status =
  1. | New
  2. | Exists
  3. | Removed
Sourceval empty : t
Sourceval is_polynomial : t -> bool
Sourceval is_empty : t -> bool
Sourceval replace : Var.t -> R.t -> t -> t * var_status
Sourceval accumulate : Var.t -> R.t -> t -> t * var_status
Sourceval append : t -> R.t -> t -> t * (Var.t * var_status) list
Sourceval subst : Var.t -> t -> t -> t * (Var.t * var_status) list
Sourceval from_list : (Var.t * R.t) list -> t
Sourceval print : Format.formatter -> t -> unit
Sourceval fold : (Var.t -> R.t -> 'a -> 'a) -> t -> 'a -> 'a
Sourceval iter : (Var.t -> R.t -> unit) -> t -> unit
Sourceval partition : (Var.t -> R.t -> bool) -> t -> t * t
Sourceval compare : t -> t -> int
Sourceval mem : Var.t -> t -> bool
Sourceval equal : t -> t -> bool
Sourceval bindings : t -> (Var.t * R.t) list
Sourceval find : Var.t -> t -> R.t
Sourceval remove : Var.t -> t -> t
OCaml

Innovation. Community. Security.

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