package ortools

  1. Overview
  2. Docs

Module Sat.DomainSource

A subset of the integers.

Sourcetype t

Internally, represented as a sorted, non-adjacent list of intervals.

Sourceval of_interval : ?lb:int -> ?ub:int -> unit -> t

An integer interval from lower and upper bounds.

  • with both: \{ x \mid \mathtt{lb} \leq x \leq \mathtt{ub} \} ,
  • with lb only: \{ x \mid \mathtt{lb} \leq x \} ,
  • with ub only: \{ x \mid x \leq \mathtt{ub} \} , and
  • with neither or lb >= ub: \emptyset .
Sourceval of_intervals : (int * int) list -> t

A union of intervals from (lb, ub) pairs.

Sourceval of_values : int list -> t

One of a set of values.

Sourceval (@) : t -> t -> t

Union of two intervals.

Sourceval union : t list -> t

Union of a list of intervals.

Sourceval to_string : t -> string

Return a string representing the domain.

Sourceval pp : Format.formatter -> t -> unit

Pretty-printer for domains.