Module Vector

type t
and dimsup = Polka.dimsup
val dummy : t
val make : int -> t
val copy : t -> t
val _print : t -> unit
val get : t -> int -> int
val get_str10 : t -> int -> string
val set : t -> int -> int -> unit
val set_str10 : t -> int -> string -> unit
val length : t -> int
val compare : t -> t -> int
val compare_expr : t -> t -> int
val hash : t -> int
val product : t -> t -> int
val product_strict : t -> t -> int
val norm : t -> unit
val norm_expr : t -> unit
val add_expr : t -> t -> t
val sub_expr : t -> t -> t
val scale_expr : int -> int -> t -> t
val add_dims : int -> t -> t
val add_dims_multi : t -> dimsup array -> t
val del_dims_multi : t -> dimsup array -> t
val add_permute_dims : t -> int -> int array -> t
val permute_del_dims : t -> int -> int array -> t
val is_positivity_constraint : t -> bool
val is_strictness_constraint : t -> bool
val is_dummy_constraint : t -> bool
val get_big_int : t -> int -> Big_int.big_int
val set_big_int : t -> int -> Big_int.big_int -> unit
val to_constraint : (int -> string) -> t -> string
val to_frame : (int -> string) -> t -> string
val to_expr : (int -> string) -> t -> string
val print : Format.formatter -> t -> unit
val print_constraint : (int -> string) -> Format.formatter -> t -> unit
val print_frame : (int -> string) -> Format.formatter -> t -> unit
val print_expr : (int -> string) -> Format.formatter -> t -> unit
val of_constraint : (string -> int) -> int -> string -> t
val of_frame : (string -> int) -> int -> string -> t
val of_expr : (string -> int) -> int -> string -> t