Function hotdrink_rs::examples::constraint_systems::factory::make_cs[][src]

pub fn make_cs<T>(
    _: usize,
    n_variables: usize,
    make_constraints: impl Fn(&[String], &[String]) -> Vec<RawConstraint<T>>
) -> ConstraintSystem<T> where
    T: Debug + Clone + Default + Send + 'static, 

Construct a constraint system with the specified number of components and variables, and creates constraints using the the provided function.