package colibrics

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Colibrics.Constraint`Source

Sourceval is_cst_reif : Context.t -> Var.I.t -> Z.t -> Var.B.t -> unit

Sourceval is_cst : Context.t -> Var.I.t -> Z.t -> unit

Sourceval add_reif : Context.t -> Var.I.t -> Var.I.t -> Var.I.t -> Var.B.t -> unit

Sourceval add : Context.t -> Var.I.t -> Var.I.t -> Var.I.t -> unit

Sourceval le_reif : Context.t -> Var.I.t -> Var.I.t -> Z.t -> Var.B.t -> unit

Sourceval le : Context.t -> Var.I.t -> Var.I.t -> Z.t -> unit

Sourceval or_ : Context.t -> Var.B.t -> Var.B.t -> Var.B.t -> unit

Sourceval not_ : Context.t -> Var.B.t -> Var.B.t -> unit

Sourceval is_true : Context.t -> Var.B.t -> unit

Sourceval equiv : Context.t -> Var.B.t -> Var.B.t -> Var.B.t -> unit