module Generator0:sig
..end
type
typ =
| |
LINE |
| |
RAY |
| |
VERTEX |
| |
LINEMOD |
| |
RAYMOD |
type
t = {
|
mutable linexpr0 : |
|
mutable 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) -> Stdlib.Format.formatter -> t -> unit
Print a generator