From 5ab3efd522cf0221481684b5bbc9c2ac6bfc9919 Mon Sep 17 00:00:00 2001 From: Richard Qin Date: Tue, 7 Apr 2026 03:59:58 +0800 Subject: refactor: rename struct members to follow trailing underscore naming convention across core, search, and frontend components --- src/simplify/subsumption.cc | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'src/simplify/subsumption.cc') diff --git a/src/simplify/subsumption.cc b/src/simplify/subsumption.cc index 3756d82..0038ad1 100644 --- a/src/simplify/subsumption.cc +++ b/src/simplify/subsumption.cc @@ -18,16 +18,18 @@ #include "atp/simplify/subsumption.h" +#include "atp/core/clause.h" + namespace atp { bool subsumes(const Clause& general, const Clause& specific) { if (general.size() > specific.size()) { return false; } - for (const auto& lit_g : general.literals) { + for (const auto& lit_g : general.literals_) { bool found = false; - for (const auto& lit_s : specific.literals) { - if (lit_g.atom == lit_s.atom && lit_g.is_positive == lit_s.is_positive) { + for (const auto& lit_s : specific.literals_) { + if (lit_g.atom_ == lit_s.atom_ && lit_g.is_positive_ == lit_s.is_positive_) { found = true; break; } -- cgit v1.2.3