document field in ProofLiterals

ConSol-Lab · Dec 17, 2024 · efc33e2 · efc33e2
1 parent c7fdf75
commit efc33e2
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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<Predicate, NonZeroU32>,
 
+    /// 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<DomainId, Predicate>,
 }