================
@@ -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 {
----------------
martinboehme wrote:
I did something similar: The class comment in the header file already
duplicated much of the content that was in this comment, so I just added the
Wikipedia reference there.
The rest then seemed to be really just duplication of information that one
might also find in the Wikipedia article, so I simply deleted it.
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
