package polka

  1. Overview
  2. Docs

Module PolySource

Sourcetype tbool =
  1. | Bottom
  2. | True
  3. | False
  4. | Top
Sourceand t
Sourceand equation = Matrix.equation = {
  1. var : int;
  2. expr : Vector.t;
}
Sourceval dummy : t
Sourceval empty : int -> t
Sourceval universe : int -> t
Sourceval of_constraints : Matrix.t -> t
Sourceval of_frames : Matrix.t -> t
Sourceval minimize : t -> unit
Sourceval canonicalize : t -> unit
Sourceval dim : t -> int
Sourceval nbequations : t -> int
Sourceval nblines : t -> int
Sourceval nbconstraints : t -> int
Sourceval nbframes : t -> int
Sourceval constraints : t -> Matrix.t option
Sourceval frames : t -> Matrix.t option
Sourceval is_minimal : t -> bool
Sourceval is_empty : t -> bool
Sourceval is_universe : t -> bool
Sourceval is_empty_lazy : t -> tbool
Sourceval is_universe_lazy : t -> tbool
Sourceval constraints_available : t -> bool
Sourceval frames_available : t -> bool
Sourceval poly_versus_constraint : t -> Vector.t -> tbool
Sourceval is_generator_included_in : Vector.t -> t -> bool
Sourceval is_included_in : t -> t -> bool
Sourceval is_equal : t -> t -> bool
Sourceval add_dims_and_embed : t -> int -> t
Sourceval add_dims_and_project : t -> int -> t
Sourceval del_dims : t -> int -> t
Sourceval add_dims_and_embed_multi : t -> Vector.dimsup array -> t
Sourceval add_dims_and_project_multi : t -> Vector.dimsup array -> t
Sourceval del_dims_multi : t -> Vector.dimsup array -> t
Sourceval add_permute_dims_and_embed : t -> int -> int array -> t
Sourceval add_permute_dims_and_project : t -> int -> int array -> t
Sourceval permute_del_dims : t -> int -> int array -> t
Sourceval inter_array : t array -> t
Sourceval inter : t -> t -> t
Sourceval add_constraints : t -> Matrix.t -> t
Sourceval add_constraint : t -> Vector.t -> t
Sourceval union_array : t array -> t
Sourceval union : t -> t -> t
Sourceval add_frames : t -> Matrix.t -> t
Sourceval add_frame : t -> Vector.t -> t
Sourceval inter_array_lazy : t array -> t
Sourceval inter_lazy : t -> t -> t
Sourceval add_constraints_lazy : t -> Matrix.t -> t
Sourceval add_constraint_lazy : t -> Vector.t -> t
Sourceval union_array_lazy : t array -> t
Sourceval union_lazy : t -> t -> t
Sourceval add_frames_lazy : t -> Matrix.t -> t
Sourceval add_frame_lazy : t -> Vector.t -> t
Sourceval inter_list : t list -> t
Sourceval union_list : t list -> t
Sourceval inter_list_lazy : t list -> t
Sourceval union_list_lazy : t list -> t
Sourceval assign_var : t -> int -> Vector.t -> t
Sourceval substitute_var : t -> int -> Vector.t -> t
Sourceval assign_vars : t -> equation array -> t
Sourceval substitute_vars : t -> equation array -> t
Sourceval widening : t -> t -> t
Sourceval limited_widening : t -> t -> Matrix.t -> t
Sourceval closure : t -> t
Sourceval closure_lazy : t -> t
Sourceval print_constraints : (int -> string) -> Format.formatter -> t -> unit
Sourceval print_frames : (int -> string) -> Format.formatter -> t -> unit
Sourceval print : (int -> string) -> Format.formatter -> t -> unit
Sourceval of_lconstraints : (string -> int) -> int -> string list -> t
Sourceval of_lframes : (string -> int) -> int -> string list -> 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