package facile

  1. Overview
  2. Docs
type t
val i2e : int -> t
val fd2e : Var.Fd.t -> t
val (+~) : t -> t -> t
val (*~) : t -> t -> t
val (-~) : t -> t -> t
val (/~) : t -> t -> t
val (**~) : t -> int -> t
val (%~) : t -> t -> t
val abs : t -> t
val sum : t array -> t
val sum_fd : Var.Fd.t array -> t
val scalprod : int array -> t array -> t
val scalprod_fd : int array -> Var.Fd.t array -> t
val prod : t array -> t
val prod_fd : Var.Fd.t array -> t
val fprint : out_channel -> t -> unit
val eval : t -> int
val min_of_expr : t -> int
val max_of_expr : t -> int
val min_max_of_expr : t -> int * int
val (<=~) : t -> t -> Cstr.t
val (<~) : t -> t -> Cstr.t
val (>~) : t -> t -> Cstr.t
val (=~) : t -> t -> Cstr.t
val (<>~) : t -> t -> Cstr.t
val (>=~) : t -> t -> Cstr.t
val e2fd : t -> Var.Fd.t
val (<=~~) : t -> t -> t
val (<~~) : t -> t -> t
val (>~~) : t -> t -> t
val (=~~) : t -> t -> t
val (<>~~) : t -> t -> t
val (>=~~) : t -> t -> t
val shift : Var.Fd.t -> int -> Var.Fd.t
val get_boolsum_threshold : unit -> int
val set_boolsum_threshold : int -> unit
OCaml

Innovation. Community. Security.