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.