simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

core: add n_levels to monoid

Browse source
This commit is contained in:
Simon Cruanes 2022-02-08 13:13:00 -05:00
parent 1d702029ee
commit a81a21c341
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/core/Sidekick_core.ml
View file

@ -1353,6 +1353,8 @@ module Monoid_of_repr(M : MONOID_ARG) : sig
val pop_levels : t -> int -> unit val pop_levels : t -> int -> unit
(** Pop [n] backtracking points *) (** Pop [n] backtracking points *)
val n_levels : t -> int
val mem : t -> M.SI.CC.N.t -> bool val mem : t -> M.SI.CC.N.t -> bool
(** Does the CC node have a monoid value? *) (** Does the CC node have a monoid value? *)
@ -1377,6 +1379,7 @@ end = struct
let push_level self = N_tbl.push_level self.values let push_level self = N_tbl.push_level self.values
let pop_levels self n = N_tbl.pop_levels self.values n let pop_levels self n = N_tbl.pop_levels self.values n
let n_levels self = N_tbl.n_levels self.values
let mem self n = let mem self n =
let res = CC.get_bitfield self.cc self.field_has_value n in let res = CC.get_bitfield self.cc self.field_has_value n in