diff options
| author | Richard Qin <richard.qin.x@gmail.com> | 2026-04-02 15:23:43 +0800 |
|---|---|---|
| committer | Richard Qin <richard.qin.x@gmail.com> | 2026-04-02 15:23:43 +0800 |
| commit | 31a3d01ef27c559bf7ff453ca60033478ac19ef8 (patch) | |
| tree | aeacd221b4771b7cede671addd97ba8b09b3f2e9 /include/atp/core/literal.h | |
| parent | 26da267b732e28e4d9697278e735b410e50e5e08 (diff) | |
| download | ratp-31a3d01ef27c559bf7ff453ca60033478ac19ef8.tar.gz ratp-31a3d01ef27c559bf7ff453ca60033478ac19ef8.tar.xz | |
refactor: replace string-based formula representation with interned SymbolIds and introduce stateful Clausifier for TPTP parsing
Diffstat (limited to 'include/atp/core/literal.h')
| -rw-r--r-- | include/atp/core/literal.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/atp/core/literal.h b/include/atp/core/literal.h index 1b4f65c..a3192a9 100644 --- a/include/atp/core/literal.h +++ b/include/atp/core/literal.h @@ -32,7 +32,7 @@ struct Literal { bool is_positive; ///< true = positive, false = negated /// Complement: flip polarity, same atom. - [[nodiscard]] Literal complement() const { return {atom, !is_positive}; } + [[nodiscard]] Literal complement() const { return {.atom = atom, .is_positive = !is_positive}; } bool operator==(const Literal& other) const = default; }; |