Frama-C:
Plug-ins:
Libraries:

Frama-C API - Lincons0

type t = {
  1. mutable linexpr0 : Linexpr0.t;
  2. mutable typ : typ;
}
and typ =
  1. | EQ
  2. | SUPEQ
  3. | SUP
  4. | DISEQ
  5. | EQMOD of Scalar.t
val make : Linexpr0.t -> typ -> t
val copy : t -> t
val string_of_typ : typ -> string
val print : (Dim.t -> string) -> Stdlib.Format.formatter -> t -> unit