package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t

val new_t : Colibri2_stdlib.Context.creator -> t

val set_sched : 
  sched_daemon:(Events.daemon_key -> unit) ->
  sched_decision:(Choice.t -> unit) ->
  t ->
  unit

val get_delayed : t -> Egraph.wt

val run_daemon : Egraph.wt -> Events.daemon_key -> unit

schedule the run of a deamon

val delayed_stop : t -> unit

Check that not work need to be done.

val flush : t -> unit

Apply all the modifications and direct consequences.

val draw_graph : ?force:bool -> t -> unit

Debug

val output_graph : string -> t -> unit

val get_unknown : t -> bool

Indicate if the current status can't be sat but only unknown