Module Apron.Generator0

module Generator0: sig .. end

type typ =

`\|`	`LINE`
`\|`	`RAY`
`\|`	`VERTEX`
`\|`	`LINEMOD`
`\|`	`RAYMOD`

type t = {

	`mutable linexpr0 :Apron.Linexpr0.t;`
	`mutable typ :typ;`

}

val make : Apron.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 : (Apron.Dim.t -> string) -> Format.formatter -> t -> unit

Print a generator