package libabsolute

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

This module defines the different kinds of definition domains of variables

type t =

main type

Constructors

val interval : Q.t -> Q.t -> t

[a;b]

val of_ints : int -> int -> t

val of_floats : float -> float -> t

val inf : Q.t -> t

semi-open interval : [x;+oo[

val set : Q.t list -> t

finite sets of values {x1; x2; ...; xn}

val minf : Q.t -> t

semi-open interval : ]-oo;x]

val top : t

]-oo;+oo[

val belong : Q.t -> t -> bool

checks if a given rational belongs to a domain

val is_bounded : t -> bool

Given a variable name v and a domain d, builds the weakest constraint that v should respect to be in d.

val to_constraint : string -> t -> Constraint.t

Given a variable name v and a domain d, builds the weakest constraint that v should respect to be in d.

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

printer

val to_string : t -> string

Conversion to a string