On This Page
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package picasso
On This Page
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Picasso
Picasso is an Abstract element drawing library which provides several ways of drawing abstract element. As abstract elements may be unbounded, and are generally defined on more than 2 dimensions, rendering them in a 2d context can be difficult. Picasso handles most of the boilerplate you usually write to draw abstract elements and allows you to view those with minimum effort from your end.
Documentation
you can build it locally by doing make doc or consult the online documentation
Different Abstract Domains
Picasso handles non-necessarily convex linear spaces of several dimensions, bounded or not. It provides utilities to draw abstract element of the Apron library in a straightforward way, plus some other ways of defining drawable values (see the Drawablemodule).
Different backends
Picasso features different ways of visualizing abstract elements:
On This Page