module Lincons0:sig
..end
type
t = {
|
mutable linexpr0 : |
|
mutable typ : |
type
typ =
| |
EQ |
| |
SUPEQ |
| |
SUP |
| |
DISEQ |
| |
EQMOD of |
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