From 1700acb919ce9c495db4dce4003f73751cc9c1f2 Mon Sep 17 00:00:00 2001 From: Julian Andres Klode Date: Sun, 21 Dec 2025 21:44:46 +0100 Subject: solver3: Refactor Assume(), Enqueue() from Var to Lit This simplifies the code _slightly_ --- apt-pkg/solver3.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'apt-pkg/solver3.h') diff --git a/apt-pkg/solver3.h b/apt-pkg/solver3.h index 97a833b5c..8310bb1c5 100644 --- a/apt-pkg/solver3.h +++ b/apt-pkg/solver3.h @@ -292,10 +292,10 @@ class Solver Solver(pkgCache &Cache, pkgDepCache::Policy &Policy, EDSP::Request::Flags requestFlags); ~Solver(); - // Assume that the variable is decided as specified. - [[nodiscard]] bool Assume(Var var, bool decision, const Clause *reason = nullptr); + // Assume a literal + [[nodiscard]] bool Assume(Lit lit, const Clause *reason = nullptr); // Enqueue a decision fact - [[nodiscard]] bool Enqueue(Var var, bool decision, const Clause *reason = nullptr); + [[nodiscard]] bool Enqueue(Lit lit, const Clause *reason = nullptr); // \brief Apply the selections from the dep cache to the solver [[nodiscard]] bool FromDepCache(pkgDepCache &depcache); -- cgit v1.2.3-70-g09d2