Struct mgf::Solver
[−]
[src]
pub struct Solver<C: Constraint> { /* fields omitted */ }
A generic constraint solver.
Methods
impl<C: Constraint> Solver<C>
[src]
pub fn new() -> Self
[src]
Creates a new constraint solver.
pub fn add_constraint(&mut self, constraint: C)
[src]
Adds a constraint to the solver.
pub fn solve<T: ConstrainedSet<C::Index, C::Constrained, C::Inspected>>(
&mut self,
cs: &mut T,
iters: usize
)
[src]
&mut self,
cs: &mut T,
iters: usize
)
Solves the constraints for the given ConstrainedSet by iterating the given number of times.