problemreductions/rules/
kcoloring_casts.rs

1//! Variant cast reductions for KColoring.
2
3use crate::impl_variant_reduction;
4use crate::models::graph::KColoring;
5use crate::topology::SimpleGraph;
6use crate::variant::{K3, KN};
7
8impl_variant_reduction!(
9    KColoring,
10    <K3, SimpleGraph> => <KN, SimpleGraph>,
11    fields: [num_vertices, num_edges],
12    |src| KColoring::with_k(src.graph().clone(), src.num_colors())
13);