package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val _true : Colibri2_core.Node.t

val _false : Colibri2_core.Node.t

val _and : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_core.Node.t list ->
  Colibri2_core.Node.t

val _or : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_core.Node.t list ->
  Colibri2_core.Node.t

val _not : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Node.t

val set_true : Colibri2_core.Egraph.wt -> Colibri2_core.Node.t -> unit

val set_false : Colibri2_core.Egraph.wt -> Colibri2_core.Node.t -> unit

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

val chobool : Colibri2_core.Node.t -> Colibri2_core.Choice.t

module BoolValue : Colibri2_core.Value.S with type s = bool

val dom : (bool, BoolValue.t) Colibri2_core.Value.Kind.t

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