`Picasso.Drawable`

Module of drawable abstractions

`val of_box : Box.t Apron.Abstract1.t -> t`

Drawable from an element of the Boxes abstract domain

`val of_oct : Oct.t Apron.Abstract1.t -> t`

Drawable from an element of the Octagon abstract domain

`val of_pol : Polka.strict Polka.t Apron.Abstract1.t -> t`

Drawable from an element of the Polyhedra abstract domain

`val of_gens : Apron.Generator1.t list -> t`

Builds the drawable space corresponding to the polyhedra defined by the list of generators.

`val of_lcons : Apron.Lincons1.t list -> t`

Builds the drawable space corresponding to the polyhedra defined by the conjunction of a list of constraints.

Same as of_gens, but build a convex hull from a list of a variables defining an environment and a list of points.

Builds a drawable hypercube from a list of variable and a list of ranges.

Merges two drawable into one drawable, where the elements will be drawn one after the other