Module `Convexe.Make`Source

Parameters

module Q : sig ... end

Signature

Sourcetype t =

| Finite of Q.t * Colibrilib__.Interval__Bound.t * Q.t * Colibrilib__.Interval__Bound.t
| InfFinite of Q.t * Colibrilib__.Interval__Bound.t
| FiniteInf of Q.t * Colibrilib__.Interval__Bound.t
| Inf

Sourcetype t' = t

Sourceval is_singleton : t' -> Q.t option

Sourceval singleton : Q.t -> t'

Sourceval except : t' -> Q.t -> t' option

Sourcetype is_comparable =

| Gt
| Lt
| Ge
| Le
| Eq
| Uncomparable

Sourceval is_comparable : t' -> t' -> is_comparable

Sourceval is_distinct : t' -> t' -> bool

Sourceval is_included : t' -> t' -> bool

Sourceval cmp : Q.t -> Colibrilib__.Interval__Bound.t -> Q.t -> bool

Sourceval mem : Q.t -> t' -> bool

Sourceval absent : Q.t -> t' -> bool

Sourceval mult_pos : Q.t -> t' -> t'

Sourceval mult_neg : Q.t -> t' -> t'

Sourceval mult_cst : Q.t -> t' -> t'

Sourceval add_cst : Q.t -> t' -> t'

Source

val add_bound : 
  Colibrilib__.Interval__Bound.t ->
  Colibrilib__.Interval__Bound.t ->
  Colibrilib__.Interval__Bound.t

Sourceval add : t' -> t' -> t'

Sourceval minus : t' -> t' -> t'

Sourceval gt : Q.t -> t'

Sourceval ge : Q.t -> t'

Sourceval lt : Q.t -> t'

Sourceval le : Q.t -> t'

Sourceval gt' : t' -> t'

Sourceval ge' : t' -> t'

Sourceval lt' : t' -> t'

Sourceval le' : t' -> t'

Source

val min_bound_sup : 
  Q.t ->
  Colibrilib__.Interval__Bound.t ->
  Q.t ->
  Colibrilib__.Interval__Bound.t ->
  Q.t * Colibrilib__.Interval__Bound.t

Source

val min_bound_inf : 
  Q.t ->
  Colibrilib__.Interval__Bound.t ->
  Q.t ->
  Colibrilib__.Interval__Bound.t ->
  Q.t * Colibrilib__.Interval__Bound.t

Source

val max_bound_sup : 
  Q.t ->
  Colibrilib__.Interval__Bound.t ->
  Q.t ->
  Colibrilib__.Interval__Bound.t ->
  Q.t * Colibrilib__.Interval__Bound.t

Source

val max_bound_inf : 
  Q.t ->
  Colibrilib__.Interval__Bound.t ->
  Q.t ->
  Colibrilib__.Interval__Bound.t ->
  Q.t * Colibrilib__.Interval__Bound.t

Sourceval union : t' -> t' -> t'

Source

val mk_finite : 
  Q.t ->
  Colibrilib__.Interval__Bound.t ->
  Q.t ->
  Colibrilib__.Interval__Bound.t ->
  t' option

Sourceval inter : t' -> t' -> t' option

Sourceval zero : t'

Sourceval reals : t

Sourceval is_reals : t' -> bool

Sourceval integers : t

Sourceval is_integer : t' -> bool

Sourceval choose : t' -> Q.t

Sourcetype split_heuristic =

| Singleton of Q.t
| Splitted of t' * t'
| NotSplitted

Sourceval split_heuristic : t' -> split_heuristic

package colibrilib

Module Convexe.MakeSource

Parameters

Signature

Module `Convexe.Make`Source