problemreductions/rules/
ksatisfiability_casts.rs

1//! Variant cast reductions for KSatisfiability.
2
3use crate::impl_variant_reduction;
4use crate::models::formula::KSatisfiability;
5use crate::variant::{K2, K3, KN};
6
7impl_variant_reduction!(
8    KSatisfiability,
9    <K2> => <KN>,
10    fields: [num_vars, num_clauses],
11    |src| KSatisfiability::new_allow_less(src.num_vars(), src.clauses().to_vec())
12);
13
14impl_variant_reduction!(
15    KSatisfiability,
16    <K3> => <KN>,
17    fields: [num_vars, num_clauses],
18    |src| KSatisfiability::new_allow_less(src.num_vars(), src.clauses().to_vec())
19);