polka 2.71.15 (latest) · OCaml Package

type tbool =

| Bottom
| True
| False
| Top

and t

and equation = Matrix.equation = {

var : int;
expr : Vector.t;

}

val dummy : t

val empty : int -> t

val universe : int -> t

val of_constraints : Matrix.t -> t

val of_frames : Matrix.t -> t

val minimize : t -> unit

val canonicalize : t -> unit

val dim : t -> int

val nbequations : t -> int

val nblines : t -> int

val nbconstraints : t -> int

val nbframes : t -> int

val constraints : t -> Matrix.t option

val frames : t -> Matrix.t option

val is_minimal : t -> bool

val is_empty : t -> bool

val is_universe : t -> bool

val is_empty_lazy : t -> tbool

val is_universe_lazy : t -> tbool

val constraints_available : t -> bool

val frames_available : t -> bool

val poly_versus_constraint : t -> Vector.t -> tbool

val is_generator_included_in : Vector.t -> t -> bool

val is_included_in : t -> t -> bool

val is_equal : t -> t -> bool

val add_dims_and_embed : t -> int -> t

val add_dims_and_project : t -> int -> t

val del_dims : t -> int -> t

val add_dims_and_embed_multi : t -> Vector.dimsup array -> t

val add_dims_and_project_multi : t -> Vector.dimsup array -> t

val del_dims_multi : t -> Vector.dimsup array -> t

val add_permute_dims_and_embed : t -> int -> int array -> t

val add_permute_dims_and_project : t -> int -> int array -> t

val permute_del_dims : t -> int -> int array -> t

val inter_array : t array -> t

val inter : t -> t -> t

val add_constraints : t -> Matrix.t -> t

val add_constraint : t -> Vector.t -> t

val union_array : t array -> t

val union : t -> t -> t

val add_frames : t -> Matrix.t -> t

val add_frame : t -> Vector.t -> t

val inter_array_lazy : t array -> t

val inter_lazy : t -> t -> t

val add_constraints_lazy : t -> Matrix.t -> t

val add_constraint_lazy : t -> Vector.t -> t

val union_array_lazy : t array -> t

val union_lazy : t -> t -> t

val add_frames_lazy : t -> Matrix.t -> t

val add_frame_lazy : t -> Vector.t -> t

val inter_list : t list -> t

val union_list : t list -> t

val inter_list_lazy : t list -> t

val union_list_lazy : t list -> t

val assign_var : t -> int -> Vector.t -> t

val substitute_var : t -> int -> Vector.t -> t

val assign_vars : t -> equation array -> t

val substitute_vars : t -> equation array -> t

val widening : t -> t -> t

val limited_widening : t -> t -> Matrix.t -> t

val closure : t -> t

val closure_lazy : t -> t

val print_constraints : (int -> string) -> Format.formatter -> t -> unit

val print_frames : (int -> string) -> Format.formatter -> t -> unit

val print : (int -> string) -> Format.formatter -> t -> unit

val of_lconstraints : (string -> int) -> int -> string list -> t

val of_lframes : (string -> int) -> int -> string list -> t

package polka