Skip to content

Commit

Permalink
refactor: hide [Var_value] from [Sat] (#11421)
Browse files Browse the repository at this point in the history
Signed-off-by: Rudi Grinberg <[email protected]>
  • Loading branch information
rgrinberg authored Jan 30, 2025
1 parent 458eec9 commit 6d700ac
Showing 1 changed file with 0 additions and 8 deletions.
8 changes: 0 additions & 8 deletions src/sat/sat.mli
Original file line number Diff line number Diff line change
Expand Up @@ -10,13 +10,6 @@ module type USER = sig
val pp : t -> 'tag Pp.t
end

module Var_value : sig
type t =
| True
| False
| Undecided
end

module Make (User : USER) : sig
(** A SAT problem consists of a set of variables and a set of clauses which must be satisfied. *)
type t
Expand Down Expand Up @@ -80,7 +73,6 @@ module Make (User : USER) : sig
| Clause of clause
| External of string

val lit_value : lit -> Var_value.t
val get_user_data_for_lit : lit -> User.t
val explain_reason : lit -> 'tag Pp.t
end

0 comments on commit 6d700ac

Please sign in to comment.