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
  - Version
apron.avoD
- Avo
  - Abstract0
  - Abstract1
apron.avoMPQ
- Avo
  - Abstract0
  - Abstract1
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 lincons0 : Lincons0.t;
mutable env : Environment.t;

}

and earray = {

mutable lincons0_array : Lincons0.t array;
mutable array_env : Environment.t;

}

type typ = Lincons0.typ =

| EQ
| SUPEQ
| SUP
| DISEQ
| EQMOD of Scalar.t

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

val copy : t -> t

val string_of_typ : typ -> string

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

val get_typ : t -> typ

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

val get_cst : t -> Coeff.t

val set_typ : t -> typ -> unit

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

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

val set_cst : t -> Coeff.t -> unit

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

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

val make_unsat : Environment.t -> t

val is_unsat : t -> bool

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

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

val get_env : t -> Environment.t

val get_linexpr1 : t -> Linexpr1.t

val get_lincons0 : t -> Lincons0.t

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

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

val array_length : earray -> int

val array_get_env : earray -> Environment.t

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