Apronext.Tconsext
This file is an extension for the Tcons1 module from the apron Library
Note : It only adds function, nothing is removed. Extensions are at the end of the module
Make a tree expression constraint. Modifying later the linear expression (not advisable) modifies correspondingly the tree expression constraint and conversely, except for changes of environements
val string_of_typ : typ -> string
Convert a constraint type to a string (=
,>=
, or >
)
val print : Stdlib.Format.formatter -> t -> unit
Print the tree expression constraint
Change the environement of the constraint for a super-environement. Raise Failure
if it is not the case
val extend_environment_with : t -> Apron.Environment.t -> unit
Side-effect version of the previous function
val get_env : t -> Apron.Environment.t
Get the environement of the tree expression constraint
val get_texpr1 : t -> Apron.Texpr1.t
Get the underlying linear expression. Modifying the linear expression (not advisable) modifies correspondingly the tree expression constraint and conversely, except for changes of environements
val get_tcons0 : t -> Apron.Tcons0.t
Get the underlying tree expression constraint of level 0. Modifying the constraint of level 0 (not advisable) modifies correspondingly the tree expression constraint and conversely, except for changes of environements
val array_make : Apron.Environment.t -> int -> earray
Make an array of tree expression constraints with the given size and defined on the given environement. The elements are initialized with the constraint 0=0.
val array_print :
?first:(unit, Stdlib.Format.formatter, unit) Stdlib.format ->
?sep:(unit, Stdlib.Format.formatter, unit) Stdlib.format ->
?last:(unit, Stdlib.Format.formatter, unit) Stdlib.format ->
Stdlib.Format.formatter ->
earray ->
unit
Print an array of constraints
val array_length : earray -> int
Get the size of the array
val array_get_env : earray -> Apron.Environment.t
Get the environment of the array
Set the element of the given index (without any copy). The array and the constraint should be defined on the same environement; otherwise a Failure
exception is raised.
Change the environement of the array of constraints for a super-environement. Raise Failure
if it is not the case
val array_extend_environment_with : earray -> Apron.Environment.t -> unit
Side-effect version of the previous function
val eq :
?typ:Apron.Texpr1.typ ->
?round:Apron.Texpr1.round ->
Apron.Texpr1.t ->
Apron.Texpr1.t ->
t
The following functions build the constraints corresponding to 'e1 op e2', where op is repectivelly (=,<>,>=,<=,>,<). The type underlying expression will be Real
if left unspecified, and its rounding mode will be Near
if left unspecified
val diseq :
?typ:Apron.Texpr1.typ ->
?round:Apron.Texpr1.round ->
Apron.Texpr1.t ->
Apron.Texpr1.t ->
t
val geq :
?typ:Apron.Texpr1.typ ->
?round:Apron.Texpr1.round ->
Apron.Texpr1.t ->
Apron.Texpr1.t ->
t
val leq :
?typ:Apron.Texpr1.typ ->
?round:Apron.Texpr1.round ->
Apron.Texpr1.t ->
Apron.Texpr1.t ->
t
val gt :
?typ:Apron.Texpr1.typ ->
?round:Apron.Texpr1.round ->
Apron.Texpr1.t ->
Apron.Texpr1.t ->
t
val lt :
?typ:Apron.Texpr1.typ ->
?round:Apron.Texpr1.round ->
Apron.Texpr1.t ->
Apron.Texpr1.t ->
t
Higher-order functions utilities