Module Lincons0

module Lincons0: sig .. end

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) -> Stdlib.Format.formatter -> t -> unit

Print a constraint