package lutin

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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