package picasso

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Picasso.Drawable`Source

Module of drawable abstractions

Sourcetype t

The type of drawable abstractions

Sourcetype var = string

Drawing dimensions are given string identifiers

Sourcetype point = float list

Multi-dimensional points

Sourcetype range = float * float

Float ranges

Sourceval of_box : Box.t Apron.Abstract1.t -> t

Drawable from an element of the Boxes abstract domain

Sourceval of_oct : Oct.t Apron.Abstract1.t -> t

Drawable from an element of the Octagon abstract domain

Sourceval of_pol : Polka.strict Polka.t Apron.Abstract1.t -> t

Drawable from an element of the Polyhedra abstract domain

Sourceval of_gens : Apron.Generator1.t list -> t

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

Sourceval of_lcons : Apron.Lincons1.t list -> t

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

Sourceval of_hull : string list -> point list -> t

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

raises Invalid_arg
if one points or more do not have as many dimension as the number of variables

Sourceval of_ranges : string list -> range list -> t

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

raises Invalid_arg
if the range list and the variable list do not have the same length

Sourceval union : t -> t -> t

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

Sourceval product : t -> t -> t

Merges two drawable into one drawable, where only the intersection of the elements will be drawn.