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/frontend/tptp_parser.h | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'include/atp/frontend/tptp_parser.h') diff --git a/include/atp/frontend/tptp_parser.h b/include/atp/frontend/tptp_parser.h index 738d34b..89eab6b 100644 --- a/include/atp/frontend/tptp_parser.h +++ b/include/atp/frontend/tptp_parser.h @@ -58,22 +58,22 @@ FormulaRole parseRole(std::string_view role_str); /// A parsed TPTP formula with its name and role. struct AnnotatedFormula { - std::string name; ///< Formula name (e.g., "axiom1") - FormulaRole role; ///< Semantic role - std::unique_ptr formula; ///< The FOL formula (for fof(...)) - std::vector clauses; ///< Direct clauses (for cnf(...)) - bool is_cnf = false; ///< true if input was cnf(), false if fof() + std::string name_; ///< Formula name (e.g., "axiom1") + FormulaRole role_; ///< Semantic role + std::unique_ptr formula_; ///< The FOL formula (for fof(...)) + std::vector clauses_; ///< Direct clauses (for cnf(...)) + bool is_cnf_ = false; ///< true if input was cnf(), false if fof() }; /// A complete parsed TPTP problem. struct ParsedProblem { - std::vector formulas; + std::vector formulas_; /// Does any formula contain an equality predicate? - bool has_equality = false; + bool has_equality_ = false; /// Original file path (for error messages). - std::string source_file; + std::string source_file_; }; /// Parse a TPTP file. @@ -82,7 +82,7 @@ struct ParsedProblem { /// For `fof(...)` entries: Formula AST is built (clausification happens later). /// /// All symbols are interned into `symbols` and terms into `bank` during parsing. -ParsedProblem parseTptpFile(const std::string& filepath, TermBank& bank, SymbolTable& symbols); +ParsedProblem parseTptpFile(const std::string& filename, TermBank& bank, SymbolTable& symbols); /// Parse a TPTP string (for testing). ParsedProblem parseTptpString(const std::string& input, TermBank& bank, SymbolTable& symbols); -- cgit v1.2.3