================
@@ -44,73 +41,16 @@ namespace dataflow {
//
// [1] https://en.wikipedia.org/wiki/DPLL_algorithm
-/// Boolean variables are represented as positive integers.
-using Variable = uint32_t;
+namespace {
----------------
sgatev wrote:
Maybe move the comment above as a class comment of `WatchedLiteralsSolverImpl`?
https://github.com/llvm/llvm-project/pull/92401
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
