package apron

You can search for identifiers within the package.

in-package search v0.2.0

package apron

apron.apron
- Apron
  - Abstract0
  - Abstract1
  - Apron_lexer
  - Apron_parser
  - Coeff
  - Dim
  - Disjunction
    
    Abstract0
    
    Abstract1
  - Environment
  - Generator0
  - Generator1
  - Interval
  - Lincons0
  - Lincons1
  - Linexpr0
  - Linexpr1
  - Manager
  - Parser
  - Policy
    
    Abstract0
    
    Abstract1
  - Scalar
  - Tcons0
  - Tcons1
  - Texpr0
  - Texpr1
  - Var
apron.boxD
- Box
apron.boxMPFR
- Box
apron.boxMPQ
- Box
apron.octD
- Oct
  - Abstract0
  - Abstract1
apron.octMPQ
- Oct
  - Abstract0
  - Abstract1
apron.polkaMPQ
- Polka
  - Abstract0
  - Abstract1
apron.polkaRll
- Polka
  - Abstract0
  - Abstract1
apron.t1pD
- T1p
apron.t1pMPFR
- T1p
apron.t1pMPQ
- T1p

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t = {

mutable generator0 : Generator0.t;
mutable env : Environment.t;

}

and earray = {

mutable generator0_array : Generator0.t array;
mutable array_env : Environment.t;

}

type typ = Generator0.typ =

| LINE
| RAY
| VERTEX
| LINEMOD
| RAYMOD

val make : Linexpr1.t -> Generator0.typ -> t

val copy : t -> t

val print : Format.formatter -> t -> unit

val get_typ : t -> Generator0.typ

val iter : (Coeff.t -> Var.t -> unit) -> t -> unit

val set_typ : t -> Generator0.typ -> unit

val set_list : t -> (Coeff.t * Var.t) list -> unit

val set_array : t -> (Coeff.t * Var.t) array -> unit

val get_coeff : t -> Var.t -> Coeff.t

val set_coeff : t -> Var.t -> Coeff.t -> unit

val extend_environment : t -> Environment.t -> t

val extend_environment_with : t -> Environment.t -> unit

val array_make : Environment.t -> int -> earray

val array_print : 
  ?first:(unit, Format.formatter, unit) format ->
  ?sep:(unit, Format.formatter, unit) format ->
  ?last:(unit, Format.formatter, unit) format ->
  Format.formatter ->
  earray ->
  unit

val array_length : earray -> int

val array_get : earray -> int -> t

val array_set : earray -> int -> t -> unit

val array_extend_environment : earray -> Environment.t -> earray

val array_extend_environment_with : earray -> Environment.t -> unit

val get_env : t -> Environment.t

val get_linexpr1 : t -> Linexpr1.t

val get_generator0 : t -> Generator0.t