Module VectorSource

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