get_rule_sets_for_solver_family

Function get_rule_sets_for_solver_family 

Source
pub fn get_rule_sets_for_solver_family(
    solver_family: SolverFamily,
) -> Vec<&'static RuleSet<'static>>
Expand description

Get all rule sets for a given solver family. Returns a Vec of static references to all rule sets that are applicable to the given solver family.

ยงExample

use conjure_cp_core::solver::SolverFamily;
use conjure_cp_core::rule_engine::{get_rule_sets_for_solver_family, register_rule_set};

register_rule_set!("CNF", (), SolverFamily::Sat);

let rule_sets = get_rule_sets_for_solver_family(SolverFamily::Sat);
assert_eq!(rule_sets.len(), 2);
assert_eq!(rule_sets[0].name, "CNF");