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