💡 Note on codimain violation

EarlMilktea · EarlMilktea · commit 2be0f29de6fe · 2025-08-29T21:42:34.000+09:00
diff --git a/src/pflow.rs b/src/pflow.rs
@@ -264,6 +264,7 @@ fn decode_solution<const K: BranchKind>(u: Node, x: &FixedBitSet, colset: &Order
         .filter_map(|(i, &v)| if x[i] { Some(v) } else { None })
         .collect::<Nodes>();
     if K != BRANCH_XY {
+        // MEMO: Violating `f(u) in V\I` ?
         fu.insert(u);
     }
     fu

Original file line number	Diff line number	Diff line change
`@@ -264,6 +264,7 @@ fn decode_solution<const K: BranchKind>(u: Node, x: &FixedBitSet, colset: &Order`
`264`	`264`	`.filter_map(\|(i, &v)\| if x[i] { Some(v) } else { None })`
`265`	`265`	`.collect::<Nodes>();`
`266`	`266`	`if K != BRANCH_XY {`
	`267`	+ // MEMO: Violating `f(u) in V\I` ?
`267`	`268`	`fu.insert(u);`
`268`	`269`	`}`
`269`	`270`	`fu`