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