Fix Lit usage

Lipen · Lipen · commit 25093b9d0116 · 2025-12-01T02:06:11.000+03:00
diff --git a/examples/feature-model/src/queries.rs b/examples/feature-model/src/queries.rs
@@ -52,8 +52,8 @@ impl<'a> FeatureAnalyzer<'a> {
 
         let mut config = HashMap::new();
         for lit in assignment {
-            let feature_id = lit.unsigned_abs();
-            let value = lit > 0;
+            let feature_id = lit.var().id();
+            let value = lit.is_positive();
             config.insert(feature_id, value);
         }
 

Original file line number	Diff line number	Diff line change
`@@ -52,8 +52,8 @@ impl<'a> FeatureAnalyzer<'a> {`
`52`	`52`
`53`	`53`	`let mut config = HashMap::new();`
`54`	`54`	`for lit in assignment {`
`55`		`- let feature_id = lit.unsigned_abs();`
`56`		`- let value = lit > 0;`
	`55`	`+ let feature_id = lit.var().id();`
	`56`	`+ let value = lit.is_positive();`
`57`	`57`	`config.insert(feature_id, value);`
`58`	`58`	`}`
`59`	`59`