package colibri2

  1. Overview
  2. Docs
val set_bool : Colibri2_core.Egraph.wt -> Colibri2_core.Node.t -> bool -> unit
val is : _ Colibri2_core.Egraph.t -> Colibri2_core.Node.t -> bool option
val is_true : _ Colibri2_core.Egraph.t -> Colibri2_core.Node.t -> bool
val is_false : _ Colibri2_core.Egraph.t -> Colibri2_core.Node.t -> bool

is_true t node = false means the value is not constrained by the current constraints or due to incompletness

val is_unknown : _ Colibri2_core.Egraph.t -> Colibri2_core.Node.t -> bool

is_true t node = false means the value is not constrained by the current constraints or due to incompletness

val th_register : Colibri2_core.Egraph.wt -> unit
module BoolValue : Colibri2_core.Value.S with type s = bool

The domain of boolean is isomorph to there Values

val value_true : BoolValue.t
val value_false : BoolValue.t
val values_true : Colibri2_core.Value.t
val values_false : Colibri2_core.Value.t
val value_of_bool : bool -> BoolValue.t
val values_of_bool : bool -> Colibri2_core.Value.t
OCaml

Innovation. Community. Security.