From 3fd8d2cd8c1d1bb203f218595fad8c2f1fd400a2 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 7 Sep 2025 14:02:25 -0700 Subject: [PATCH] update comments Signed-off-by: Nikolaj Bjorner --- src/util/search_tree.h | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/util/search_tree.h b/src/util/search_tree.h index 0e7968197..2b58edd95 100644 --- a/src/util/search_tree.h +++ b/src/util/search_tree.h @@ -52,7 +52,6 @@ namespace search_tree { status get_status() const { return m_status; } void set_status(status s) { m_status = s; } literal const& get_literal() const { return m_literal; } - void set_literal(literal const& l) { m_literal = l; } bool literal_is_null() const { return Config::is_null(m_literal); } void split(literal const& a, literal const& b) { if (m_status != status::active) @@ -146,8 +145,8 @@ namespace search_tree { } } - // conflict is given by a set of atoms. - // they are a subset of atoms on the path from root to n + // conflict is given by a set of literals. + // they are a subset of literals on the path from root to n void backtrack(node* n, vector const& conflict) { if (conflict.empty()) { close_node(m_root.get());