package picasso

  1. Overview
  2. Docs
Abstract elements drawing library

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (4)

Authors

  1. G
    Ghiles Ziat <ghiles.ziat@epita.fr
  2. M
    Matthieu Journault <Matthieu.journault@lip6.fr>

Maintainers

  1. G
    Ghiles Ziat <ghiles.ziat@epita.fr

Sources

0.4.tar.gz
md5=d6028ccae6933bf903f34137c335f5ce
sha512=d8adf3324a27f016d0f6a08ff4afa714185c31e6dcf176e36053564c5e66e3cb734115e11ce6b68a7ed118291ef47f108efea3e3a2272e35b946661ea88e5eff

doc/picasso/Picasso/Drawable/index.html

Module Picasso.DrawableSource

Module of drawable abstractions

Types

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

Constructors

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

Operations

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.