Module Lincons0


module Lincons0: sig .. end
APRON Linear constraints of level 0


type t = {
   mutable linexpr0 : Linexpr0.t;
   mutable typ : typ;
}
type typ =
| EQ
| SUPEQ
| SUP
| DISEQ
| EQMOD of Scalar.t
APRON Linear constraints of level 0
val make : Linexpr0.t -> typ -> t
Make a linear constraint. Modifying later the linear expression modifies correspondingly the linear constraint and conversely
val copy : t -> t
Copy a linear constraint (deep copy)
val string_of_typ : typ -> string
Convert a constraint type to a string (=,>=, or >)
val print : (Dim.t -> string) -> Format.formatter -> t -> unit
Print a constraint