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 --- include/atp/normalize/formula.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'include/atp/normalize') diff --git a/include/atp/normalize/formula.h b/include/atp/normalize/formula.h index 1bcc021..5ee9b94 100644 --- a/include/atp/normalize/formula.h +++ b/include/atp/normalize/formula.h @@ -51,18 +51,18 @@ enum class FormulaKind : uint8_t { /// All identifiers are interned: atoms as TermIds, quantifier variables as /// SymbolIds. No raw strings survive past the parser. struct Formula { - FormulaKind kind; + FormulaKind kind_; /// For kAtom / kEquality: the predicate/equality term, already interned. - TermId atom = kInvalidId; + TermId atom_ = kInvalidId; /// For kForall / kExists: the bound variable, as an interned SymbolId. /// Using SymbolId (not string) so the clausifier can map bound variables /// back to term-bank variables without string lookups. - SymbolId bound_var = kInvalidId; + SymbolId bound_var_ = kInvalidId; /// Sub-formulas (1 for Not/Quantifiers, 2 for binary connectives). - std::vector> children; + std::vector> children_; // ── Factory methods ── -- cgit v1.2.3