solver3: Refactor Assume(), Enqueue() from Var to Lit

This simplifies the code _slightly_

1 files changed, 3 insertions, 3 deletions

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);