diff options
| author | Richard Qin <richard.qin.x@gmail.com> | 2026-04-07 03:59:58 +0800 |
|---|---|---|
| committer | Richard Qin <richard.qin.x@gmail.com> | 2026-04-07 03:59:58 +0800 |
| commit | 5ab3efd522cf0221481684b5bbc9c2ac6bfc9919 (patch) | |
| tree | 9c521dedd2bc49bdbac642a0640dd048b6d8e4a1 /src/core/clause_store.cc | |
| parent | bf4f464cec8b6515d9e5131d43847ef9b2fd21d1 (diff) | |
| download | ratp-5ab3efd522cf0221481684b5bbc9c2ac6bfc9919.tar.gz ratp-5ab3efd522cf0221481684b5bbc9c2ac6bfc9919.tar.xz | |
refactor: rename struct members to follow trailing underscore naming convention across core, search, and frontend components
Diffstat (limited to 'src/core/clause_store.cc')
| -rw-r--r-- | src/core/clause_store.cc | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/core/clause_store.cc b/src/core/clause_store.cc index 75959c3..f8ee73d 100644 --- a/src/core/clause_store.cc +++ b/src/core/clause_store.cc @@ -18,14 +18,19 @@ #include "atp/core/clause_store.h" +#include "atp/core/clause.h" +#include "atp/core/types.h" + #include <cassert> +#include <cstddef> +#include <functional> #include <utility> namespace atp { ClauseId ClauseStore::addClause(Clause clause) { auto new_id = static_cast<ClauseId>(clauses_.size()); - clause.id = new_id; + clause.id_ = new_id; clauses_.push_back(std::move(clause)); return new_id; } |