From efc33e2b60682fe1f34c82ab9e7d8ae6e5ac37ae Mon Sep 17 00:00:00 2001 From: Maarten Flippo Date: Tue, 17 Dec 2024 14:49:04 +0100 Subject: [PATCH] document field in ProofLiterals --- pumpkin-solver/src/proof/proof_literals.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pumpkin-solver/src/proof/proof_literals.rs b/pumpkin-solver/src/proof/proof_literals.rs index 33197ed6..48dbad67 100644 --- a/pumpkin-solver/src/proof/proof_literals.rs +++ b/pumpkin-solver/src/proof/proof_literals.rs @@ -22,6 +22,10 @@ pub(crate) struct ProofLiterals { /// of the predicates in the map. variables: HashMap, + /// Maps the domain id of a 0-1 integer `x` to the predicate `p` that it reifies: + /// `[x == 1] <-> p`. + /// + /// Used in substituting the reification domain with the predicate when logging reasons. reification_domains: HashMap, }