Module Apron

module Apron: sig .. end

APRON library

Introduction

Coefficients:

Apron.Scalar, Apron.Interval, Apron.Coeff (either scalars or intervals)

Managers and Abstract Domains:

Apron.Manager
Box: intervals
Oct: octagons
Polka: convex polyhedra and linear equalities
T1p: Taylor1plus abstract domain;
Ppl: interface to PPL convex polyhedra and linear congruences (currently)
PolkaGrid: reduced product of convex polyhedra and linear congruences

Level 1 of the interface (user-level):

Apron.Var, Apron.Environment
Apron.Linexpr1, Apron.Lincons1, Apron.Generator1: linear expressions, constraints and generators;
Apron.Texpr1, Apron.Tcons1: general expressions and constraints;
Apron.Abstract1: abstract properties
Apron.Parser: converting strings to APRON expressions

Level 0 of the interface:

Module `Scalar`: APRON Scalar numbers.

module Scalar: sig .. end

Module `Interval`: APRON Intervals on scalars

module Interval: sig .. end

Module `Coeff`: APRON Coefficients (either scalars or intervals)

module Coeff: sig .. end

Module `Dim`: APRON Dimensions and related types

module Dim: sig .. end

Module `Linexpr0`: APRON Linear expressions of level 0

module Linexpr0: sig .. end

Module `Lincons0`: APRON Linear constraints of level 0

module Lincons0: sig .. end

Module `Generator0`: APRON Generators of level 0

module Generator0: sig .. end

Module `Texpr0`: Unary operators

module Texpr0: sig .. end

Module `Tcons0`: APRON tree expressions constraints of level 0

module Tcons0: sig .. end

Module `Manager`: APRON Managers

module Manager: sig .. end

Module `Abstract0`: APRON Abstract value of level 0

module Abstract0: sig .. end

Module `Var`: APRON Variables

module Var: sig .. end

Module `Environment`: APRON Environments binding dimensions to names

module Environment: sig .. end

Module `Linexpr1`: APRON Expressions of level 1

module Linexpr1: sig .. end

Module `Lincons1`: APRON Constraints and array of constraints of level 1

module Lincons1: sig .. end

Module `Generator1`: APRON Generators and array of generators of level 1

module Generator1: sig .. end

Module `Texpr1`: APRON Expressions of level 1

module Texpr1: sig .. end

Module `Tcons1`: APRON tree constraints and array of tree constraints of level 1

module Tcons1: sig .. end

Module `Abstract1`: APRON Abstract values of level 1

module Abstract1: sig .. end

Module `Policy`:
Policy manager

module Policy: sig .. end

Module `Disjunction`: Disjunctions of APRON abstract values

module Disjunction: sig .. end

Module `Apron_parser`

module Apron_parser: sig .. end

Module `Apron_lexer`: Lexical analysis of expressions, constraints, generators

module Apron_lexer: sig .. end

Module `Parser`: APRON Parsing of expressions

module Parser: sig .. end

Module Apron

Introduction

Module Scalar: APRON Scalar numbers.

Module Interval: APRON Intervals on scalars

Module Coeff: APRON Coefficients (either scalars or intervals)

Module Dim: APRON Dimensions and related types

Module Linexpr0: APRON Linear expressions of level 0

Module Lincons0: APRON Linear constraints of level 0

Module Generator0: APRON Generators of level 0

Module Texpr0: Unary operators

Module Tcons0: APRON tree expressions constraints of level 0

Module Manager: APRON Managers

Module Abstract0: APRON Abstract value of level 0

Module Var: APRON Variables

Module Environment: APRON Environments binding dimensions to names

Module Linexpr1: APRON Expressions of level 1

Module Lincons1: APRON Constraints and array of constraints of level 1

Module Generator1: APRON Generators and array of generators of level 1

Module Texpr1: APRON Expressions of level 1

Module Tcons1: APRON tree constraints and array of tree constraints of level 1

Module Abstract1: APRON Abstract values of level 1

Module Policy: Policy manager

Policy manager

Module Disjunction: Disjunctions of APRON abstract values

Module Apron_parser

Module Apron_lexer: Lexical analysis of expressions, constraints, generators

Module Parser: APRON Parsing of expressions

Module `Scalar`: APRON Scalar numbers.

Module `Interval`: APRON Intervals on scalars

Module `Coeff`: APRON Coefficients (either scalars or intervals)

Module `Dim`: APRON Dimensions and related types

Module `Linexpr0`: APRON Linear expressions of level 0

Module `Lincons0`: APRON Linear constraints of level 0

Module `Generator0`: APRON Generators of level 0

Module `Texpr0`: Unary operators

Module `Tcons0`: APRON tree expressions constraints of level 0

Module `Manager`: APRON Managers

Module `Abstract0`: APRON Abstract value of level 0

Module `Var`: APRON Variables

Module `Environment`: APRON Environments binding dimensions to names

Module `Linexpr1`: APRON Expressions of level 1

Module `Lincons1`: APRON Constraints and array of constraints of level 1

Module `Generator1`: APRON Generators and array of generators of level 1

Module `Texpr1`: APRON Expressions of level 1

Module `Tcons1`: APRON tree constraints and array of tree constraints of level 1

Module `Abstract1`: APRON Abstract values of level 1

Module `Policy`:
Policy manager

Module `Disjunction`: Disjunctions of APRON abstract values

Module `Apron_parser`

Module `Apron_lexer`: Lexical analysis of expressions, constraints, generators

Module `Parser`: APRON Parsing of expressions