package ortools

  1. Overview
  2. Docs
Build and export Google OR-Tools models

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (5)

Authors

  1. T
    Timothy Bourke <tim@tbrk.org>

Maintainers

  1. T
    Timothy Bourke <tim@tbrk.org>

Sources

ortools-9.15.0-3.tbz
sha256=2dfa5a221f07e7756afda6f23d066aae8ebb73254e201a44921f24e0491c5f7b
sha512=be451a999703a032444c632e0c87b4e391449cee0daa9f4837b0798fc7b8b1ce10abf7bc11dc7439a381a9281a7fb02b9239c75c3df0e4e70d2c690eeb8ae78c

doc/ortools/Ortools/Sat/Domain/index.html

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.