Module Generator0


module Generator0: sig .. end
APRON Generators of level 0


type typ =
| LINE
| RAY
| VERTEX
| LINEMOD
| RAYMOD

type t = {
   mutable linexpr0 : Linexpr0.t;
   mutable typ : typ;
}
APRON Generators of level 0
val make : Linexpr0.t -> typ -> t
Making a generator. The constant coefficient of the linear expression is ignored. Modifying later the linear expression modifies correspondingly the generator and conversely.
val copy : t -> t
Copy a generator (deep copy)
val string_of_typ : typ -> string
Convert a generator type to a string (LIN,RAY, or VTX)
val print : (Dim.t -> string) -> Format.formatter -> t -> unit
Print a generator